Formal Methods for Industrial Critical Systems - Anne Remke; Bernhard Steffen; Anne Remke; Bernhard Steffen (Formal Methods for Industrial Critical Systems, 2026)