Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings - Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe (Cham Springer, 2023)