On the performance of open-source RTOS synchronization primitives | IEEE Conference Publication | IEEE Xplore