Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.

Manuel Wimmer, Angelika Kusel, Johannes Schnbck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger

Browse the full MODELS paper archive.