Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) | Publicación