Mіrosсhnyk M. A., Pakhomov, Y. V., Shkil, A. S., Kulak, E. N. and Kucherenko, D. Y. (2018) “DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES”, Radio Electronics, Computer Science, Control, (2). doi: 10.15588/1607-3274-2018-2-13.