Synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, AleksanderInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 101-104 : ill