Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings (Springer, 2011)