Computer aided verification - Alur, Rajeev, 1966-; Henzinger, Thomas A. (Lecture notes in computer science, 1996)