L. Raskin, L. Sukhomlyn, D. Sagaidachny, and R. Korsun, “ANALYSIS OF MULTI-THREADED MARKOV SYSTEMS”, A.I.S., vol. 5, no. 4, pp. 70–78, Dec. 2021.