Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings - Cimatti, Alessandro. (Springer Nature Switzerland,)