Probabilistic Analysis Using Theorem Proving by Osman Hasan & Sofiene Tahar