RODONAIA, Irakli, and Vakhtang RODONAIA. “Statistic Complexity Metrics As a Basis for Formal Probabilistic Model Checking”. Journal of Technical Science and Technologies 4, no. 1 (May 31, 2015): 41–47. Accessed February 23, 2025. https://jtst.ibsu.edu.ge/jms/index.php/jtst/article/view/74.