Viktorovych Shkarupylo, Vadym, Igor Tomicic, and Kostiantyn Mykolaiovych Kasian. 2016. “The Investigation of TLC Model Checker Properties”. Journal of Information and Organizational Sciences 40 (1). https://doi.org/10.31341/jios.40.1.7.