Christian Schwarzl, Bernhard Peischl. Static- and Dynamic Consistency Analysis of UML State Chart Models. In Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen, editors, Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Volume 6394 of Lecture Notes in Computer Science, pages 151-165, Springer, 2010. [doi]
Abstract is missing.