Real-time Non-invasive Detection of Timing-constraint Violations in Time-triggered Embedded Systems. - Kam L. Chan; Michael J. Pont (CIT, 2010)