A structural optimization method for symbolic FSMs | IEEE Conference Publication | IEEE Xplore