Zargaryan, G. Y. (2021). Verification Environments for USB Controller. Mathematical Problems of Computer Science, 39, 72–80. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/386