Sengupta B, Cleaveland R.  2003.  Towards formal but flexible scenarios. 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools.