Monitoring temporal properties of continuous signals
Logics and Models of Real Time: A Survey