Algebraic verification of probabilistic and concurrent systems. - Mananjanahary Tahiry Rabehaja (2014)