MT: A toolset for specifying and analyzing real-time systems

This publication has 13 references indexed in Scilit:

• Semantics of Modechart in real time logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Engineering CASE tools to support formal methods for real-time software development
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Applying formal methods to an embedded real-time avionics system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Experiences using statecharts for a system requirements specification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier
  Published by Springer Nature ,1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Multinet Gateway - Towards A1 Certification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980