Abstract: Real-time systems are pervasive in the automotive, robotics, smart industry, manufacturing, and healthcare domains, where the system’s safety, dependability, or quality of service depends on both functional and temporal correctness, namely, performing the right actions at the right time.