S. Colin, G. Mariano, and V. Poirriez, Duration Calculus: A Real-Time Semantic for B, First International Colloquium on Theoretical Aspects of Computing, 2004.
DOI : 10.1007/978-3-540-31862-0_31

S. Colin, V. Poirriez, M. , and G. , Thoughts about the implementation of the duration calculus with coq, 4th International Workshop on the Implementation of Logics, 2003.

J. Enslev and A. Nielsen, Bounded model construction for duration calculus, 2005.

S. In, Specification and Validation of UML models for Real Time and Embedded Systems, conjunction with 7th International Conference on the Unified Modeling Language, 2004.

F. Siewe and D. Hung, Deriving Real-Time Programs from Duration Calculus Specifications, 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pp.92-97, 2000.
DOI : 10.1007/3-540-44798-9_7