Domain Modeling and the Duration Calculus