My TMP optimized translator from (an extension of) LTL to Büchi automata is still available for non-commercial use from Bell Labs. Please also see the excellent LTL translation web page by Carsten Fritz at Kiel U., where TMP and Carsten's own more recent translator, as well as a number of other recent optimized LTL translators, can be compared via a nice online interface.