Co-synthesis and co-simulation of control-dominated embedded systems