%0 Conference Proceedings
%F Benveniste2011b
%A Benveniste, A.
%A Bourke, T.
%A Caillaud, B.
%A Pouzet, M.
%T A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code
%B Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011
%E Chakraborty, Samarjit
%E Jerraya, Ahmed
%E K. Baruah, Sanjoy
%E Fischmeister, Sebastian
%P 137-148
%I ACM
%U http://www.irisa.fr/s4/download/papers/ha-emsoft-2011.pdf
%U http://doi.acm.org/10.1145/2038642.2038664
%D 2011
%K synchrony
%K hybrid