A Software Architecture For Simplifying Verification of System Timing Properties | IEEE Conference Publication | IEEE Xplore