selected publications academic article High Performance Ultra High Dependable Architecture for Autonomous Robotics in Space 2006