Import an FSMActor using LTL synthesis (G4LTL).

"G4LTL is a standalone tool and a Java library for automatically generating controllers realizing linear temporal logic (LTL).

See http://www6.in.tum.de/~chengch/g4ltl/

@since Ptolemy II 8.1