Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. In Stephen W. Gilroy, Michael D. Harrison, editors, Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Volume 3941 of Lecture Notes in Computer Science, pages 51-66, Springer, 2005. [doi]
Abstract is missing.