Monitoring Time-Triggered Systems