Web-based software implementation of finite state machine decomposition for design and educationDevadze, Sergei; Kruus, Margus; Sudnitsõn, AleksanderCompSysTech' 2001 : proceedings of the International Conference on Computer Systems and Technologies, Sofia, 21-22 June 20012001 / [6] p. : ill https://pld.ttu.ee/decomposition/publications/Sudnitson_CST_Estonia.pdf