Verification, Model Checking, and Abstract Interpretation - Dirk Beyer, Damien Zufferey (Springer, 2020)