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