Towards Normal Design for Safety-Critical Systems.

Derek Mannering, Jon G. Hall, Lucia Rapanotti

Browse the full FASE paper archive.