competition, event-rate independence, metric dynamic logic, Metric Temporal Logic, monitoring, over-tuning, run-time verification, trace-rate independence.
