A methodology for extracting temporal properties from sensor network data streams