A Timed CSP Model for the Time-Triggered Language Giotto | IEEE Conference Publication | IEEE Xplore