Schwarzl, Peischl. Static- and Dynamic Consistency Analysis of UML State Chart Models. In Dorina Petriu, Nicolas Rouquette, Øystein Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.