TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions - Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice (Cham Springer, 2024)