Martin Glinz. An Integrated Formal Model of Scenarios Based on Statecharts. In Wilhelm Schäfer, Pere Botella, editors, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Volume 989 of Lecture Notes in Computer Science, pages 254-271, Springer, 1995.
Abstract is missing.