@inproceedings{instance1599, title = {{An Integrated Formal Model of Scenarios Based on Statecharts}}, year = {1995}, pages = {254--271}, volume = {989}, series = {Lecture Notes in Computer Science}, booktitle = {Software Engineering - ESEC '95. Proceedings of the 5th European Software Engineering Conference}, Date-Added = {2026-08-02 22:38:36}, Date-Modified = {2026-08-02 22:38:36} }