LTL2DFA Trace Generation Tool - Komp, John (2024)