Computer Aided Verification - Enea, Constantin; Lal, Akash (Springer Nature Switzerland, 2023)