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