Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Conference