Finite State Machine Logic Synthesis for Complex Programmable Logic Devices - Czerwinski, Robert. (Springer Berlin Heidelberg : Imprint: Springer, 2013)