@conference {12803,
	title = {An integrated framework for scenarios and state machines},
	booktitle = {Integrated Formal Methods},
	year = {2005},
	month = {2005///},
	pages = {366 - 385},
	author = {Sengupta,B. and Cleaveland, Rance}
}
