Modeling Real-Time Systems — Challenges and Work Directions

This publication has 16 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Timing Analysis and Code Generation of Vehicle Control Software using Taxys
  Electronic Notes in Theoretical Computer Science, 2001
• An Algebraic Framework for Urgency
  Information and Computation, 2000
• What's ahead for embedded software?
  Computer, 2000
• KRONOS: a verification tool for real-time systems
  International Journal on Software Tools for Technology Transfer, 1997
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• 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
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973