André Chátelain Yves Mathys Giovanni Placido Alberto La Rosa Luciano Lavagno High-level architectural co-simulation using Esterel and C. 189-194 2001 conf/codes/2001 CODES http://doi.acm.org/10.1145/371636.371719 db/conf/codes/codes2001.html#ChatelainMPRL01