A Concurrency and Time Centered Framework for Autonomous Space Systems