Concise Guide to Software Verification From Model Checking to Annotation Checking - Huisman, Marieke; Wijs, Anton (Springer International Publishing, 2023)