Automated Technology for Verification and Analysis - Shuvendu K. Lahiri, Chao Wang (Springer, 2018)