Juan de Lara, Esther Guerra. Formal Support for QVT-Relations with Coloured 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 256-270, Springer, 2009. [doi]