Language Of Temporal Ordering Specification