Java-based system for finite state machine decompositionSudnitsõn, Aleksander; Levenko, Aleksei; Andreev, Dmitri45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband2000 / S. 961-965 : Ill