Formal Modelling of Industrial Distributed Control Systems Autoría: M. Marcos, E. Estévez Año: 2005 Medio de publicación: Proc. - 16th IFAC World Congress ISBN/ISSN: 0-08-045108-X Descripción: Prague, Czech Republic, July, 2005