There is also a large body of work on time series analysis and temporal logic in Physics, Economics and Mathematics, providing important techniques and general background information.
this work uses techniques adapted from Seasonal Auto-Regressive Integrated Moving Average models (SARIMA).