@article{4468, abstract = {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.}, author = {Henzinger, Thomas A and Kirsch, Christoph and Sanvido, Marco and Pree, Wolfgang}, issn = {1066-033X }, journal = {IEEE Control Systems Magazine}, number = {1}, pages = {50 -- 64}, publisher = {IEEE}, title = {{From control models to real-time code using Giotto}}, doi = {10.1109/MCS.2003.1172829}, volume = {23}, year = {2003}, }