Variable Ordering and Selection for FSM Traversal. - Seon-Woong Jeong; Bernard Plessier; Gary D. Hachtel; Fabio Somenzi (ICCAD, 1991)