You are about to access our book library "Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings (Lecture Notes in Computer Science Book 14759) full version" .