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 (March 29, 2018): 162–167. Accessed April 29, 2024. http://ric.zntu.edu.ua/article/view/126655.