A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems