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