Domain Modeling And The Duration Calculus by