@misc{indiciae99a5105dd6b6,
  title = {A real-time operating system for manned spaceflight},
  author = {Dorman, R. G. and Kopp, R. S. and Weiler, P. W.},
  year = {1970},
  url = {https://ntrs.nasa.gov/citations/19700053821},
  note = {Source identifier: 19700053821}
}