Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone. Safety and Response-Time Analysis of an Automotive Accident Assistance Service. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 191-205, Springer, 2008. [doi]
Abstract is missing.