(1)
Biermann, E. Local Confluence Analysis of Consistent EMF Transformations. ECEASST 2011, 38.