Discrete-Event Modeling and Simulation for Embedded Systems | IEEE Journals & Magazine | IEEE Xplore