Michael R. Hansen Zhou Chaochen Duration Calculus: Logical Foundations. 283-330 1997 9 Formal Asp. Comput. 3 db/journals/fac/fac9.html#HansenC97