Verification, Model Checking, and Abstract Interpretation - Ahmed Bouajjani, David Monniaux (Springer, 2017)