Validating Real Time Specifications using Real Time Event Queue Modeling | IEEE Conference Publication | IEEE Xplore