High-level architectural co-simulation using Esterel and C. - André Chátelain; Yves Mathys; Giovanni Placido; Alberto La Rosa; Luciano Lavagno (CODES, 2001)