Constrained state assignment of easily testable FSMs | Publicación