Correction to "Optimal State Assignment for Finite State Machines" | IEEE Journals & Magazine | IEEE Xplore