Kozachok, A., and E. Kochetkov. “Formal Model of Process Functioning in the Operating System”. SPIIRAS Proceedings, Vol. 2, no. 51, Mar. 2017, pp. 78-96, DOI:10.15622/sp.51.4.