A Concurrency and Time Centered Framework for Autonomous Space Systems by Damian Dechev