Characterization of opaque automata. - Gong-Liang Chen; Jia-Yan Yao (Discret. Math., 2002)