Added the code to produce the SystemJ model from Buchi automata