Logic Synthesis for VLSI-Based Combined Finite State Machines: Synthesis Targeting ASICs, CPLDs and FPGAs (Lecture Notes in Electrical Engineering, 922, Band 922)