A real-time system description language

This publication has 14 references indexed in Scilit:

• STATEMATE: a working environment for the development of complex reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Program representation and translation for predictable real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Dynamic end-to-end guarantees in distributed real time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Building flexible real-time systems using the Flex language
  Computer, 1991
• Validating the ADARTS software design method for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• Constructing Predictable Real Time Systems
  Published by Springer Nature ,1991
• Comparative evaluation of high-level real-time programming languages
  Real-Time Systems, 1990
• Object-oriented real-time language design: constructs for timing constraints
  Published by Association for Computing Machinery (ACM) ,1990
• Language support for the Maruti real-time system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Special Feature: An Architecture for Real-Time Software Systems
  IEEE Software, 1986