S. M. Sait, F. C. Oughali, and A. M. Arafeh, “FSM State-Encoding for Area and Power Minimization Using Simulated Evolution Algorithm”, JART, vol. 10, no. 6, Dec. 2012.