Modelling -- Foundation and Applications : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings - Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige ((Lecture Notes in Computer Science))