Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings / Elvira Albert ... (eds.). Cham [u.a.] : Springer, 2014