selected publications academic article HIROSCO - A High-Level Robotic Spacecraft Controller. . 2010 MSS Ground Control Demo with MARCO. . 2001