John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9