A flexible scheme for state assignment based on characteristics of the FSM | IEEE Conference Publication | IEEE Xplore