Coalgebraic analysis of probabilistic systems door A. Sokolova