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