Strengthening Real-Time Analysis by Evolving Counterexamples. - Leo Bishop; Leandro Soares Indrusiak (ERSA@RTSS, 2024)