Towards normal design for safety-critical systems (2007)

by D Mannering, J G Hall, L Rapanotti
Venue:Proceedings of FASE 2007