Cyber-Physical Systems, Event Calculus, model-based engineering, Runtime Monitors, runtime verification.