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

by “LOTOS ISO
Venue:of Observational Behaviour,” International Standards Organisation, Tech. Rep. 8807