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