LOTOS Tools Based on the Cornell Synthesizer Generator