FLAT is a Formal Language to Automaton Transmogrifier. It compiles many temporally extended objective specification languages to DFA or Reward Machine. This tool is also available as a web service at fl-at.jaimemiddleton.cl.
FLAT is built on top on MONA, which you can obtain here.
It is also based on a few dependencies:
dd
ply
PySimpleAutomata
On a linux based system, it will ask you to install all necesary dependencies automagically the first time you run the program. You can review all the installed packages at functions/dependencies.sh.