Emine G. Aydal, Mark Utting, Jim Woodcock. A Comparison of State-Based Modelling Tools for Model Validation. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 278-296, Springer, 2008.
Abstract is missing.