Effective correctness criteria for real-time requirementsAmalinda Christina PostÉpuisé4,3Prévenez-moi