Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings - Cimatti, Alessandro; Titolo, Laura (Cham Springer International Publishing AG, 2023)