Modelling and formal specification of the real-time manufacturing automation protocol | Publicación