A general probabilistic framework for worst case timing analysis | IEEE Conference Publication | IEEE Xplore