High-level architectural co-simulation using Esterel and C | IEEE Conference Publication | IEEE Xplore