Sequential logic : analysis and synthesis /: analysis and synthesis. (2007)