Finite state machine logic synthesis for complex programmable logic devices - Czerwinski, Robert. (Lecture Notes in Electrical Engineering, 2013)