Zargaryan, G.Y. 2021. Verification Environments for USB Controller. Mathematical Problems of Computer Science. 39, (Dec. 2021), 72–80.