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