Concurrent Two-Dimensional State Minimization and State Assignment of finite State Machines | IEEE Conference Publication | IEEE Xplore