An Autonomous Software Safety System for a Dexterous Space Robot. - Stephen N. Roderick; Brian Roberts; Ella M. Atkins; Phil Churchill; Dave Akin (J. Aerosp. Comput. Inf. Commun., 2004)