J. C. Hill, P. C. Wright. From text to Petri Nets: the difficulties of describing accident scenarios formally. In Michael D. Harrison, Juan Carlos Torres, editors, Design, Specification and Verification of Interactive Systems 97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. pages 161-175, Springer, 1997.
Abstract is missing.