Preface of the special issue on formal methods in industrial critical systems | Publicación