Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges (Studies in Systems, Decision and Control, Band 113)