Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines - A. D. Ermakov (Yaroslavl State University, 2016)