TY  - RPRT
TI  - The HAL 9000 Space Operating System Real-Time Planning Engine Design and Operations Requirements
AU  - Stetson, Howard
AU  - Watson, Michael D.
AU  - Shaughnessy, Ray
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20120015285
ID  - 20120015285
ER  -