Huang Y, Zhao Y, Qin S, He G, Ferreira JF.? 2012.??A Timed CSP Model for the Time-Triggered Language Giotto. 35th Annual IEEE Software Engineering Workshop (SEW). :110-119.