Finite state machines in hardware: theory and design (with VHDL and SystemVerilog) - Pedroni, Volnei A (The MIT Press, 2013)