Integrated Formal Methods - Erika Ábrahám, Marieke Huisman; Huisman, Marieke (Springer International Publishing, 2016)