Edmund M. Clarke

• Handbook of Model Checking
• Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
• Model Checking, Second Edition