Verification, Model Checking, and Abstract Interpretation - D'Souza; D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand (Springer Berlin Heidelberg, 2015)