HARTIK: A real-time kernel for robotics applications | IEEE Conference Publication | IEEE Xplore