Logic Synthesis for Finite State Machines Based on Linear Chains of States - Barkalov, Alexander (Springer International Publishing, 2018)