Michael R. Hansen Dang Van Hung A Theory of Duration Calculus with Application. 119-176 2007 conf/ac/2007duration Domain Modeling and the Duration Calculus http://dx.doi.org/10.1007/978-3-540-74964-6_3 db/conf/ac/duration2007.html#HansenH07