Conformance Checking on Timed Automaton Process Models. - Sohei Ito; Kento Hamae (ICEIS (2), 2024)