Computer Aided Verification - Gopalakrishnan, Ganesh; Kanade, Takeo; Qadeer, Shaz; Kittler, Josef (Springer Berlin Heidelberg, 2011)