Viktorovych Shkarupylo, V., I. Tomicic, and K. Mykolaiovych Kasian. “The Investigation of TLC Model Checker Properties”. Journal of Information and Organizational Sciences, vol. 40, no. 1, June 2016, doi:10.31341/jios.40.1.7.