Real-time operating systems for embedded computing | IEEE Conference Publication | IEEE Xplore