FSM decomposition software for education and researchDevadze, Sergei; Sudnitsõn, AleksanderProc. IEEE EUROCON 2005 International Conference on Computer as a tool : Belgrade, Serbia & Montenegro2005 / p. 839-842 https://ieeexplore.ieee.org/document/1630063