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”, RIC, no. 2, Oct. 2018.