A formal description technique based on an extended state transition model.“ IS0 Int. Standard 9074 (1987)

by “Estelle