Preface of the special issue on formal methods in industrial critical systems. - Güdemann, Matthias; Núñez, Manuel (Int. J. Softw. Tools Technol. Transf., 2017)