Automated Technology for Verification and Analysis - Zhe Hou, Vijay Ganesh (Springer, 2021)