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, Oct. 2018, doi:10.15588/1607-3274-2018-2-13.