RODONAIA, I., & RODONAIA, V. (2015). Statistic complexity metrics as a basis for formal probabilistic model checking. Journal of Technical Science and Technologies, 4(1), 41–47. https://doi.org/10.31578/jtst.v4i1.74