Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations | DealShopping Deutschland