Specification of an ISDN Q.931 protocol entity using the LOTOS formal description technique | Publicación