Asymptotic bounds for quantitative verification of perturbed probabilistic systems - Su, G. (2016)
10.1007/978-3-642-41202-8_20