Charles André, Frédéric Mallet. Specification and verification of time requirements with CCSL and Esterel. In Christoph M. Kirsch, Mahmut T. Kandemir, editors, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009. pages 167-176, ACM, 2009. [doi]
Abstract is missing.