Timix: a distributed real-time kernel for multi-sensor robots | IEEE Conference Publication | IEEE Xplore