Forma Design of Distributed Control Systems with Lustre

This publication has 9 references indexed in Scilit:

• A methodology for proving control systems with Lustre and PVS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic testing of reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Synchronous Observers and the Verification of Reactive Systems
  Published by Springer Nature ,1994
• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
  IEEE Transactions on Software Engineering, 1992
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC
  Published by Elsevier ,1990
• SAGA: A Software Development Environment for Dependability Automatic Controls
  IFAC Proceedings Volumes, 1988