Operating systems for building robust embedded systems | IEEE Conference Publication | IEEE Xplore