{"intvolume":"        23","_id":"4468","abstract":[{"lang":"eng","text":"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."}],"publisher":"IEEE","publist_id":"260","date_created":"2018-12-11T12:09:00Z","publication":"IEEE Control Systems Magazine","type":"journal_article","page":"50 - 64","month":"01","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Thomas Henzinger"},{"last_name":"Kirsch","full_name":"Kirsch, Christoph M","first_name":"Christoph"},{"first_name":"Marco","full_name":"Sanvido, Marco A","last_name":"Sanvido"},{"last_name":"Pree","full_name":"Pree, Wolfgang","first_name":"Wolfgang"}],"citation":{"ieee":"T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1. IEEE, pp. 50–64, 2003.","chicago":"Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>. IEEE, 2003. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>.","apa":"Henzinger, T. A., Kirsch, C., Sanvido, M., &#38; Pree, W. (2003). From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. IEEE. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>","ama":"Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. 2003;23(1):50-64. doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>","mla":"Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>.","ista":"Henzinger TA, Kirsch C, Sanvido M, Pree W. 2003. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 23(1), 50–64.","short":"T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64."},"date_published":"2003-01-29T00:00:00Z","day":"29","volume":23,"doi":"10.1109/MCS.2003.1172829","publication_status":"published","status":"public","title":"From control models to real-time code using Giotto","year":"2003","date_updated":"2021-01-12T07:57:10Z","extern":1,"issue":"1","quality_controlled":0}