Co-Synthesis and Co-simulation of Control-Dominated Embedded Systems