Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems | IEEE Conference Publication | IEEE Xplore