A Formal Description Technique Based on an Extended State Transition Model (1989)

by Estelle
Venue:ISO Standard OSI 9074