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

Manuel Wimmer et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics