1. The HAL 9000 Space Operating System
2. Brown, R. A.; Braunstein, R.; Brunet, R. C.; Grace, R.; Vu, T.; Busa, J.; Dwyer, W. K. "Timeliner: Automating ProceduresontheISS,"2002SpaceOpsConference,Houston,Texas,October2002.
3. Bridging the gap between human and automated procedure execution