A general probabilistic framework for worst case timing analysis