Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges - Barkalov, Alexander; Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek (Springer International Publishing : Imprint: Springer, 2018)