Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings - Haxthausen, Anne E. (Springer Nature Switzerland,)