HARTIK: a hard real-time kernel for programming robot tasks with explicit time constraints and guaranteed execution | IEEE Conference Publication | IEEE Xplore