Igor Burdonov, Alexander Kossatchev, Nina Yevtushenko. Deriving complete finite tests based on state machines. Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014). Kiev, Ukraine, 2014. P. 190-194. 5 стр. doc, pdf, pdf_1