@misc{indiciae47b00a27d874,
  title = {Formalizing procedures for operations automation, operator training and spacecraft autonomy},
  author = {Lecouat, Francois and Desaintvincent, Arnaud},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19950017300},
  note = {Source identifier: 19950017300}
}