Verification, Model Checking, and Abstract Interpretation - Bouajjani; Monniaux, David (Springer International Publishing, 2017)