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