Computer aided verification : proceedindings - Grumberg, Orna (Lecture notes in computer science ;, 1997)