Formal Modelling of Industrial Distributed Control Systems Authors: M. Marcos, E. Estévez Year: 2005 Publication medium: Proc. - 16th IFAC World Congress ISBN/ISSN: 0-08-045108-X Description: Prague, Czech Republic, July, 2005