Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco  Safety and response-time analysis of an automotive accident assistance service.   In:  Leveraging Applications of Formal Methods, Verification and Validation.   Communications in Computer and Information Science  (17).  Springer, pp. 191-205.       (2008)