FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - Fitzgerald, John; Heitmeyer, Constance; Gnesi, Stefania; Philippou, Anna (Springer International Publishing : Imprint: Springer, 2016)