A Library of Embedded Platform Components for the Simulation of Real-Time Embedded Systems | IEEE Conference Publication | IEEE Xplore