Integrated Formal Methods - Polikarpova, Nadia (Springer International Publishing, 2020)