@inproceedings{publication-3413,
	author={Glinz, Martin},
	booktitle={Software Engineering - ESEC '95. Proceedings of the 5th European Software Engineering Conference},
	pages={254-271},
	series={Lecture Notes in Computer Science},
	title={An Integrated Formal Model of Scenarios Based on Statecharts},
	year=1995,
}