Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - Calinescu, Radu; Rumpe, Bernhard (Springer International Publishing : Imprint: Springer, 2015)