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]
@inproceedings{AceitunaDS14,
title = {A systematic approach to transforming system requirements into model checking specifications},
author = {Daniel Aceituna and Hyunsook Do and Sudarshan Srinivasan},
year = {2014},
doi = {10.1145/2591062.2591183},
url = {http://doi.acm.org/10.1145/2591062.2591183},
researchr = {https://researchr.org/publication/AceitunaDS14},
cites = {0},
citedby = {0},
pages = {165-174},
booktitle = {36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
publisher = {ACM},
isbn = {978-1-4503-2768-8},
}