A universal real-time kernel based on the mu ITRON specification | IEEE Conference Publication | IEEE Xplore