Assurance Based Development of Critical Systems.

Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk

Browse the full DSN paper archive.