Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems