Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. - Hasan, Osman; Tahar, Sofiène (2007)