An Event Model for Deadline Verification of Hard Real-Time Systems | IEEE Conference Publication | IEEE Xplore