Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study | IEEE Conference Publication | IEEE Xplore