Automated Technology For Verification and Analysis by Springer