From control models to real-time code using Giotto
Thomas A. Henzinger, Christoph Meyer Kirsch, Marco A. A. Sanvido, Wolfgang Pree · IEEE Control Systems · 2003
Giotto is a high-level programming language for time-triggered control applications. The authors begin with a conceptual overview of its methodology, discuss the Giotto helicopter project, and summarize available Giotto implementations.