Towards normal design for safety-critical systems (2007)

by Derek Mannering, Jon G Hall, Lucia Rapanotti
Venue:Proceedings of ETAPS Fundamental Approaches to Software Engineering (FASE) ’07, volume 4422 of Lecture Notes in Computer Science