de.unidue.ltl.evaluation.util.convert
de.unidue.ltl.evaluation.util.transformation
