“Research of a multithreaded non-deterministic system model”, Nexo Revista Científica, vol. 34, no. 01, pp. 193–204, Apr. 2021, doi: 10.5377/nexo.v34i01.11297.