Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008) | Publicación