Moggi, Eugenio, Walid Taha, and Johan Thunberg. 2020. “Sound Over-Approximation of Probabilities”. Acta Cybernetica 24 (3), 269-85. https://doi.org/10.14232/actacyb.24.3.2020.2.