Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003 | January 2003