Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings - Pieter Gorp, Tom Ritter, Louis M. Rose ((Lecture Notes in Computer Science))