An Object-Oriented Model for Estelle. - Rachid Sijelmassi; Philip Gaudette (FORTE, 1988)

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

Guidelines for Using Estelle to Specify OSI Services and Protocols. - Rachid Sijelmassi; Richard J. Linn Jr. (Comput. Networks ISDN Syst., 1992)

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