LOTOS

Language Of Temporal Ordering Specification