Frédéric Py, Félix Ingrand: Dependable execution control for autonomous robots. IROS 2004: 1136-1141