HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine. - Heng Hu; Hong-Xi Xue; Ji-Nian Bian (J. Comput. Sci. Technol., 2004)