Chaochen Zhou Dang Van Hung Xiaoshan Li A Duration Calculus with Infinite Intervals. 16-41 1995 conf/fct/1995 FCT db/conf/fct/fct95.html#ChaochenHX95