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