An intellectual property core to detect task schedulling-related faults in RTOS-based embedded systems | IEEE Conference Publication | IEEE Xplore