Specification and verification of a real-time field bus with formal description languages | Publicación