RODONAIA, I.; RODONAIA, V. Statistic Complexity Metrics As a Basis for Formal Probabilistic Model Checking. JTST 2015, 4, 41-47.