Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger. Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. In Andy Schürr, Bran Selic, editors, Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Volume 5795 of Lecture Notes in Computer Science, pages 727-732, Springer, 2009. [doi]
Abstract is missing.