Viktorovych Shkarupylo, V., Tomicic, I. and Mykolaiovych Kasian, K. 2016. The Investigation of TLC Model Checker Properties. Journal of Information and Organizational Sciences. 40, 1 (Jun. 2016). DOI:https://doi.org/10.31341/jios.40.1.7.