Yves Bontemps Patrick Heymans Pierre-Yves Schobbens Lightweight Formal Methods for Scenario-Based Software Engineering. 174-192 2003 conf/dagstuhl/2003scenarios Scenarios: Models, Transformations and Tools http://dx.doi.org/10.1007/11495628_10 db/conf/dagstuhl/scenarios2003.html#BontempsHS03