A Matching-Based Method for Anomaly Verification in Spacecraft Telemetry