Giotto: A Time-Triggered Language for Embedded Programming.

Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch

Browse the full EMSOFT paper archive.