Logic synthesis for finite state machines based on linear chains of states foundations, recent developments and challenges - Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek (Springer International Publishing AG, 2018)