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]
@inproceedings{AndreM09, title = {Specification and verification of time requirements with CCSL and Esterel}, author = {Charles André and Frédéric Mallet}, year = {2009}, doi = {10.1145/1542452.1542475}, url = {http://doi.acm.org/10.1145/1542452.1542475}, researchr = {https://researchr.org/publication/AndreM09}, cites = {0}, citedby = {0}, pages = {167-176}, booktitle = {Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009}, editor = {Christoph M. Kirsch and Mahmut T. Kandemir}, publisher = {ACM}, isbn = {978-1-60558-356-3}, }