ESTELLE
Category:
Comments: Formal Protocol Specification Language [ISO 1988]
Helps establish the Integrating Infrastructure (Communications) Design.