Software Verification - Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (Springer, 2022)