Probabilistic performance guarantee for real-time tasks with varying computation times | IEEE Conference Publication | IEEE Xplore