@inproceedings{publication-3103,
	author={Glinz, Martin},
	booktitle={3rd ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools},
	month={MAY},
	pages={14-20},
	title={Systematically Combining Specifications of Internal and External System Behavior Using Statecharts},
	year=2004,
}