Sandra Basnyat Nick Chozos Chris Johnson Philippe A. Palanque Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. 51-66 2005 conf/dsvis/2005 DSV-IS http://dx.doi.org/10.1007/11752707_5 db/conf/dsvis/dsvis2005.html#BasnyatCJP05