Ansgar Schleicher Formalizing UML-Based Process Models Using Graph Transformations. 341-357 http://link.springer.de/link/service/series/0558/bibs/1779/17790341.htm 1999 conf/agtive/1999 AGTIVE db/conf/agtive/agtive1999.html#Schleicher99