language of temporal ordering specification