Rajeev Alur Thomas A. Henzinger Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings CAV Lecture Notes in Computer Science 1102 Springer 1996 3-540-61474-5 db/conf/cav/cav96.html