Biermann, E. Local Confluence Analysis of Consistent EMF Transformations. eceasst 2011, 38.