Diagnosing Violations of Time-based Properties Captured in iCFTL. - Cristina Stratan; Joshua Heneage Dawes; Domenico Bianculli (FormaliSE@ICSE, 2024)