Design automation of testable finite state machines. - Maryna Miroschnyk; Yuriy Pakhomov; Edward German; Alexander Shkil; Elvira Kulak; Dariya Kucherenko (EWDTS, 2017)