Lightweight Instrumentation for Accurate Performance Monitoring in RTOSes | IEEE Conference Publication | IEEE Xplore