FORMAL MODELLING OF INDUSTRIAL DISTRIBUTED CONTROL SYSTEMS | Publicación