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