Automated Technology for Verification and Analysis - Chen; Cheng, Chih-Hong; Esparza, Javier (Springer International Publishing, 2019)