Dániel Varró Márk Asztalos Dénes Bisztray Artur Boronat Duc-Hanh Dang Rubino Geiß Joel Greenyer Pieter Van Gorp Ole Kniemeyer Anantha Narayanan Edgars Rencis Erhard Weinell Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. 540-565 2007 AGTIVE http://dx.doi.org/10.1007/978-3-540-89020-1_36 conf/agtive/2007 db/conf/agtive/agtive2007.html#VarroABBDGGGKNRW07