Giotto: A Time-Triggered Language for Embedded Programming

This publication has 14 references indexed in Scilit:

• Fly-By-Wire Systems for Military High Performance Aircraft
  Published by Springer Nature ,2007
• A survey of architecture description languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Embedded Control Systems Development with Giotto
  Published by Association for Computing Machinery (ACM) ,2001
• Masaccio: A Formal Model for Embedded Components
  Published by Springer Nature ,2000
• Fly-by-wire flight control
  Computing & Control Engineering Journal, 1999
• Holistic schedulability analysis for distributed hard real-time systems
  Microprocessing and Microprogramming, 1994
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• The design of real-time systems: from specification to implementation and verification
  Software Engineering Journal, 1991