Automated Technology for Verification and Analysis by F. Wang