SMT-Based Timing Analysis and Verification of Real-Time Task | IEEE Conference Publication | IEEE Xplore