Tabunshchyk, G. V., T. I. Kapliienko, and O. V. Shytikova. “VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES”. Radio Electronics, Computer Science, Control, no. 4, Mar. 2018, pp. 162-7, doi:10.15588/1607-3274-2017-4-18.