A Formal Description Technique Based on the Temporal Ordering (1998)

by ISO, LOTOS IUT-T
Venue:of Observational Behavior, ISO/IEC 8807