Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega. Experiences using statecharts for a system requirements specification. In Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman, editors, Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. pages 31-41, IEEE Computer Society, 1991. [doi]
@inproceedings{LevesonHHRO91,
title = {Experiences using statecharts for a system requirements specification},
author = {Nancy G. Leveson and Mats P. E. Heimdahl and Holly Hildreth and Jon Damon Reese and R. Ortega},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952792},
researchr = {https://researchr.org/publication/LevesonHHRO91},
cites = {0},
citedby = {0},
pages = {31-41},
booktitle = {Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991},
editor = {Jean-Pierre Finance and Carlo Ghezzi and Gruia-Catalin Roman},
publisher = {IEEE Computer Society},
isbn = {978-0-8186-2320-2},
}