Al-Jassani, B. A., Urquhart, N. B., & Almaini, A. E. A. (2011). State assignment for sequential circuits using multi-objective genetic algorithm. IET Computers and Digital Techniques, 5, 296-305. https://doi.org/10.1049/iet-cdt.2010.0045