Methods of constructing universal tests for finite-state automata. - Tverdokhlebov, V. (Automation & Remote Control, 2005)