FM 2014: Formal Methods - Cliff Jones, Pekka Pihlajasaari, Jun Sun (Springer International Publishing, 2014)