Towards an automated development methodology for dependable systems with application to sensor networks.

Michael G. Hinchey, James L. Rash, Christopher A. Rouff

Browse the full IPCCC paper archive.