Formal Modelling of Industrial Distributed Control Systems Egileak: M. Marcos, E. Estévez Urtea: 2005 Non argitaratua: Proc. - 16th IFAC World Congress ISBN/ISSN: 0-08-045108-X Deskribapena: Prague, Czech Republic, July, 2005