The PROFIBUS formal specification: a comparison between two FDTs | Publicación