Verification, Model Checking, and Abstract Interpretation - Bernd Finkbeiner, Thomas Wies (Springer, 2022)