An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software