TY - RPRT TI - Safety Critical Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft AU - Horvath, Gregory AU - Cilloniz-Bicchi, Ferner AU - Chung, Seung AU - Dvorak, Dan AU - Hecox, Dave PY - 2011 UR - https://ntrs.nasa.gov/citations/20120009825 ID - 20120009825 ER -