Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan. A systematic approach to transforming system requirements into model checking specifications. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 165-174, ACM, 2014. [doi]
Abstract is missing.