Mіrosсhnyk M. A.; Pakhomov, Y. V.; Shkil, A. S.; Kulak, E. N.; Kucherenko, D. Y. DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES. RIC 2018.