Zargaryan, Grigor Y. 2021. “Verification Environments for USB Controller”. Mathematical Problems of Computer Science 39 (December):72-80. http://mpcs.sci.am/index.php/mpcs/article/view/386.