PARTOS-11: an efficient real-time operating system for low-cost microcontrollers | IEEE Conference Publication | IEEE Xplore