Logic synthesis for FPGA-based finite state machines - Barkalov, Alexander; Titarenko, Larysa; Kolopienczyk, Malgorzata; Mielcarek, Kamil; Bazydlo, Grzegorz (Springer, 2016)