Formal Methods for Industrial Critical Systems. - Groote, Jan Friso; Huisman, Marieke (International Journal on Software Tools for Technology Transfer, 2024)