A. Kozachok and E. Kochetkov, “Formal Model of Process Functioning in the Operating System”, SP, vol. 2, no. 51, pp. 78-96, Mar. 2017.