Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings - France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (Springer Berlin Heidelberg, 2011)