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

Design of Logical Control Units Based on Finite State Machines' Patterns. - Maryna Miroshnyk; Sergii Poroshyn; Alexander Shkil; Elvira Kulak; Inna Filippenko; Dariia Kucherenko; Yuriy Pakhomov; Salfetnikova Juliia; Maksym Goga (EWDTS, 2018)