A calculus for stochastic QoS analysis - Liu, Y. (2014)
10.1016/j.peva.2006.07.003