Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong: A UML-Based Design Framework for Time-Triggered Applications. RTSS 2007: 39-48