Logic Synthesis for FSM-Based Control Units - Barkalov, Alexander. (Springer Berlin Heidelberg : Imprint: Springer, 2009)