Computer Aided Verification - Touili, Tayssir; Cook, Byron; Jackson, Paul; Kanade, Takeo (Springer Berlin Heidelberg, 2010)