Specification and verification of time requirements with CCSL and Esterel

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

Abstract is missing.