Verification, Model Checking, and Abstract Interpretation - Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; Zuck, Leonore D. (Springer Berlin Heidelberg, 2008)