Mіrosсhnyk M. A., Y. V. Pakhomov, A. S. Shkil, E. N. Kulak, and D. Y. Kucherenko. “DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES”. Radio Electronics, Computer Science, Control, no. 2 (October 4, 2018). Accessed May 3, 2024. http://ric.zntu.edu.ua/article/view/143183.