Modelling foundations and applications 8th European cnference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2 - 5, 2012 ; proceedings (Springer, 2012)