TY  - RPRT
TI  - Verifying command sequences for satellite systems
AU  - Peters, James F., III
AU  - Ramanna, Sheela
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930033330
ID  - 19930033330
ER  -