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