Fsm-based Digital Design Using Verilog Hdl by Ian Elliott & Peter Minns