Forced Simulation : A Formal Approach To Component Based Development Of Embedded Systems