Moggi, E., Taha, W., & Thunberg, J. (2020). Sound Over-Approximation of Probabilities. Acta Cybernetica, 24(3), 269-285. https://doi.org/10.14232/actacyb.24.3.2020.2