FSM decomposition with application to FPGA synthesis. - Alexander Sudnitson; Dmitri Mihhailov; Margus Kruus; Konstantin Tarletski (CompSysTech, 2009)