Manuel Wimmer Angelika Kusel Johannes Schönböck Gerti Kappel Werner Retschitzegger Wieland Schwinger Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. 727-732 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_59 conf/models/2009 db/conf/models/models2009.html#WimmerKSKRS09