Automated Technology for Verification and Analysis - Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (Springer, 2019)