Automated Technology For Verification And Analysis by D.A. Peled