Link level formal specification for industrial communication networks | Publicación