Estelle—a formal description technique based on an extended state transition model (1987)

by ISO standard
Venue:ISO