Logic Synthesis for FPGA-Based Finite State Machines (Studies in Systems, Decision and Control)