Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Schreiner, Wolfgang (Cham Springer International Publishing AG, 2023)