@conference {12840,
	title = {Towards formal but flexible scenarios},
	booktitle = {2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools},
	year = {2003},
	month = {2003///},
	author = {Sengupta,B. and Cleaveland, Rance}
}
