Como instalar o TLA+ Toolbox no Linux!

Um ambiente de desenvolvimento integrado) para as ferramentas TLA+