Michael Lawley Jim Steel Practical Declarative Model Transformation with Tefkat. 139-150 2005 conf/uml/2005se MoDELS Satellite Events http://dx.doi.org/10.1007/11663430_15 db/conf/uml/models2005se.html#LawleyS05