@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} }