Software Engineering and Formal Methods SEFM 2017 Collocated Workshops DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / - Cerone, Antonio. (Springer International Publishing,)