NASA NTRS2011Safety Critical Software Architecture: A Partitioned Software Architecture for Robotic SpacecraftNo abstract availableSoftware Architecture,↗