Integrated Formal Methods - Carlo A. Furia, Kirsten Winter (Springer, 2018)