A translator from KISS FSM models to Logisim XML formats - View it on GitHub