G. V. Tabunshchyk, T. I. Kapliienko, and O. V. Shytikova, “VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES”, RIC, no. 4, pp. 162–167, Mar. 2018.