Viktorovych Shkarupylo, Vadym, Igor Tomicic, and Kostiantyn Mykolaiovych Kasian. “The Investigation of TLC Model Checker Properties”. Journal of Information and Organizational Sciences 40, no. 1 (June 16, 2016). Accessed April 18, 2024. //jios.foi.hr/index.php/jios/article/view/991.