Logic Synthesis for FSM-Based Control Units - Barkalov, Alexander. (Lecture Notes in Electrical Engineering, 2009)