Software Verification - Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel (Springer, 2020)