An Approach for UIO Generation for FSM Verification and Validation. - D. Schin; Yinan N. Shen; Fabrizio Lombardi (ISCAS, 1994)