I. RODONAIA and V. RODONAIA, “Statistic complexity metrics as a basis for formal probabilistic model checking”, JTST, vol. 4, no. 1, pp. 41–47, May 2015.