Modifications on event streams for the real-time analysis of distributed fixed-priority systems | IEEE Conference Publication | IEEE Xplore