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