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