Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. - Andrea Manini; Matteo G. Rossi; Pierluigi San Pietro (TASE, 2025)