Annotated temporal logics Delta*tau - Abe, J. M. (2000)