Alan Burns Andy J. Wellings 1-50 2007 conf/ac/2007duration Domain Modeling and the Duration Calculus http://dx.doi.org/10.1007/978-3-540-74964-6_1 db/conf/ac/duration2007.html#BurnsW07