Application of formal description techniques in the framework of factory communications | Publicación