FM 2016: Formal Methods - Fitzgerald (Springer International Publishing, 2016)