@book {12848,
	title = {A compositional approach to statecharts semantics},
	volume = {25},
	year = {2000},
	month = {2000///},
	publisher = {ACM},
	organization = {ACM},
	author = {L\{\"u}ttgen,G. and Von Der Beeck,M. and Cleaveland, Rance}
}
