Automated Technology for Verification and Analysis door F. Wang