Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings - Groote, Jan Friso; Huisman, Marieke (Cham Springer International Publishing AG, 2022)