Pashchenko, D. V.; Trokoz, D. A.; Martyshkin, A. I.; Pashchenko, T. Y.; Butaev, M. M.; Babich, M. Y. Research of a Multithreaded Non-Deterministic System Model. Nexo Scientific Journal 2021, 34, 193-204.