On The Design And Analysis Of Autonomous Real-Time Systems