Jörn Guy Süß Tim McComb Soon-Kyeong Kim Luke Wildman Geoffrey Watson MDA-Based Re-engineering with Object-Z. 291-305 2006 conf/models/2006 MoDELS http://dx.doi.org/10.1007/11880240_21 db/conf/models/models2006.html#SussMKWW06