K. Komatsu and H. Horita, “Generating LTL Formulas for Process Mining by Example of Trace”, JDSIS, Feb. 2024, doi: 10.47852/bonviewJDSIS42022166.