• Software environment for synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, Aleksander2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings2008 / p. 433-436 https://ieeexplore.ieee.org/document/4559314