Zaslat SMS: Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic resource] :