Komp, J. (2024). LTL2DFA Trace Generation Tool (Version 1.0.0) [Computer software]. https://github.com/JKomp/LTL2DFA