Giotto Documentation
Ptolemy II Documentation
T.A. Henzinger, B. Horowitz, C.M. Kirsch.
Giotto: A Time-triggered Language for Embedded Programming.
Technical report UCB//CSD-00-1121, University of California, Berkeley, December 1999.