Automated Technology for Verification and Analysis - Lahiri (Springer International Publishing, 2018)