Integrated Formal Methods - Polikarpova (Springer International Publishing, 2017)