Stephen Michell Mark Saaltink Brian A. Wichmann Looking into Safety with the Safety and Security Rapporteur Group. 7-11 1998 SIGAda http://doi.acm.org/10.1145/289524.289526 db/conf/sigada/sigada98.html#MichellSW98