FM 2016: Formal Methods - Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna (Springer International Publishing, 2016)