A formal support for homogeneous simulation of heterogeneous embedded systems | IEEE Conference Publication | IEEE Xplore