Coalgebraic analysis of probabilistic systems by A. Sokolova