Formal Methods for Executable Software Models - Marco Bernardo, Ferruccio Damiani, Reiner HÃ¤hnle, Einar Broch Johnsen, Ina Schaefer (Springer International Publishing, 2014)