Worst Case Temporal Consistency in Integrated Modular Avionics Systems | IEEE Conference Publication | IEEE Xplore