Enabling RTOS simulation modeling in a system level design language | IEEE Conference Publication | IEEE Xplore