@incollection{instance237,
	 title = {{Systematically Combining Specifications of Internal and External System Behavior Using Statecharts}},
	 author = {Martin Glinz},
	 year = {2004},
	 address = {Edinburgh},
	 month = {May},
	 pages = {14-20},
	 booktitle = {Proceedings of the 3rd ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools},
	 group = {rerg},
	 Date-Added = {2026-08-02 18:39:36},
	 Date-Modified = {2026-08-03 06:52:26}
}