Logic Synthesis for FSM-Based Control Units - Barkalov, Alexander; Titarenko, Larysa (Springer Berlin Heidelberg, 2009)