Improving FSM evolution with progressive fitness functions. - Jason W. Horihan; Yung-Hsiang Lu (ACM Great Lakes Symposium on VLSI, 2004)