Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route. - Patricia Bouyer; B. Srivathsan; Vaishnavi Vishwanath (FoSSaCS, 2025)