A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and application of nonblocking programming techniques, static analysis of C++, and formal methods