Timing analysis of an avionics case study on complex hardware/software platforms | IEEE Conference Publication | IEEE Xplore