Formal Support for QVT-Relations with Coloured Petri Nets | Publicación