Jon G. Hall Derek Mannering Lucia Rapanotti Arguing safety with Problem Oriented Software Engineering. 23-32 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.21 db/conf/hase/hase2007.html#HallMR07