Zhou Chaochen Duration Calculus, a Logical Approach to Real-Time Systems. 1-7 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480001.htm db/conf/amast/amast98.html#Chaochen98