Increased accuracy through noise injection in abstract RTOS simulation | IEEE Conference Publication | IEEE Xplore