Nicolas Halbwachs Doron Peled Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings CAV Lecture Notes in Computer Science 1633 Springer 1999 3-540-66202-2 db/conf/cav/cav99.html