FSM based digital design using verilog HDL - Minns, Peter D. (J. Wiley & Sons, 2008)