NIST Integrated Tool Set for Estelle. - Rachid Sijelmassi; Brett Strausser (FORTE, 1990)

The PET and DINGO Tools for Deriving Distributed Implementations from Estelle. - Rachid Sijelmassi; Brett Strausser (Comput. Networks ISDN Syst., 1993)