Checking Consistency of Event-driven Traces. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; R. Govind; Samuel Grahn; Ramanathan S. Thinniyam (CoRR, 2025)