Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings - Bonfanti, Silvia; Gargantini, Angelo; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia (Springer, 2024)