TY  - RPRT
TI  - Monitoring and control of spacecraft systems using procedural reasoning
AU  - Georgeff, Michael P.
AU  - Ingrand, Francois Felix
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900016208
ID  - 19900016208
ER  -