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