Finite State Machine Synthesis Based on Relay-Based Algorithm | IEEE Conference Publication | IEEE Xplore