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
Thoughts about the implementation of the duration calculus with coq, 4th International Workshop on the Implementation of Logics, 2003. ,
Bounded model construction for duration calculus, 2005. ,
Specification and Validation of UML models for Real Time and Embedded Systems, conjunction with 7th International Conference on the Unified Modeling Language, 2004. ,
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