Moggi, E. et al. 2020. Sound Over-Approximation of Probabilities. Acta Cybernetica. 24, 3 (Mar. 2020), 269–285. DOI:https://doi.org/10.14232/actacyb.24.3.2020.2.