M. Sait, S.; C. Oughali, F.; M. Arafeh, A. FSM State-Encoding for Area and Power Minimization Using Simulated Evolution Algorithm. JART 2012, 10.