Logic synthesis for FPGA-based finite state machines (Springer, 2016)