Using LOTOS in the specification of industrial bus communication protocols | Publicación