Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - Orna Grumberg ((Lecture Notes in Computer Science))