State merging and state splitting via state assignment: a new FSM synthesis algorithm | Publicación