Explainable Real-Time Systems and Their Analysis (ERSA)