RODONAIA, I., and V. RODONAIA. “Statistic Complexity Metrics As a Basis for Formal Probabilistic Model Checking”. Journal of Technical Science and Technologies, vol. 4, no. 1, May 2015, pp. 41-47, doi:10.31578/jtst.v4i1.74.