Petrenko A. F. Generating checking sequences for nondeterministic finite state machines / A. Petrenko, A. Simao, N. Yevtushenko // IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012. Montreal ; Quebec , 2012. P. 310-319. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436752