Automated Technology for Verification and Analysis - Chen (Springer International Publishing, 2019)