Moggi Eugenio; Taha Walid; Thunberg Johan: Sound over-approximation of probabilities. In: Acta cybernetica, (24) 3. pp. 269-285. (2020)