@misc{indiciaeb59f91b5ce2e,
  title = {Safety Critical Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft},
  author = {Horvath, Gregory and Cilloniz-Bicchi, Ferner and Chung, Seung and Dvorak, Dan and Hecox, Dave},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20120009825},
  note = {Source identifier: 20120009825}
}