D. V. Pashchenko, D. A. Trokoz, A. I. Martyshkin, T. Y. Pashchenko, M. M. Butaev, and M. Y. Babich, “Research of a multithreaded non-deterministic system model”, Nexo Scientific Journal, vol. 34, no. 01, pp. 193–204, Apr. 2021.