Experiences using statecharts for a system requirements specification
Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth, Jon Damon Reese, Ross B. Ortega · International Workshop on Software Specification and Design · 1991
This paper describes some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using statecharts. Some enhancements to statecharts were necessary to model the complete system and a few notational changes were made to improve reviewability.