FSM-based digital design using Verilog HDL - Minns, Peter; Elliott, Ian (Wiley, 2008)