event-rate independence, logic-based, metric dynamic logic, Metric Temporal Logic, MFOTL, monitoring2, trace-rate independence.