Statistics for Time-Triggered Program Monitoring