E. Moggi, W. Taha, and J. Thunberg, “Sound Over-Approximation of Probabilities”, Acta Cybern, vol. 24, no. 3, pp. 269-285, Mar. 2020.