Atur cara mengikut smg.sf.net

Alat yang digunakan untuk menjana kod kerangka mesin negeri dari satu set tersebararahan yang tertanam secara langsung dalam fail kod sumber input. Alat ini juga akan menjana penerangan grafik GraphViz dan output pemodelan