Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications