Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification. - Apipath Kamput; Chanon Dechsupa; Wiwat Vatanawood; Suttinan Pomsiri (IEEE Access, 2024)