Yves Bontemps, Patrick Heymans, Pierre Yves Schobbens. Lightweight Formal Methods for Scenario-Based Software Engineering. In Stefan Leue, Tarja Systä, editors, Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers. Volume 3466 of Lecture Notes in Computer Science, pages 174-192, Springer, 2003. [doi]
Abstract is missing.