Modeling and simulation of embedded systems