Integrated Formal Methods - Nadia Polikarpova, Steve Schneider (Springer, 2017)