Computer Aided Verification - Lahiri; Wang, Chao (Springer International Publishing, 2020)