Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers - Bianculli, Domenico; Calinescu, Radu; Rumpe, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 2015)