Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems | IEEE Conference Publication | IEEE Xplore