LOTOS
Language Of Temporal Ordering Specification