TMDL-to-LOTOS Compiler, version 0.9. Found 0 Warning and 0 Error. LOTOS specification output.