Formal methods for the specification and design of real-time safety critical systems

This publication has 43 references indexed in Scilit:

• Biting the silver bullet: toward a brighter future for system development
  Computer, 1992
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Constructing distributed systems in Conic
  IEEE Transactions on Software Engineering, 1989
• Misconceptions about real-time computing: a serious problem for next-generation systems
  Computer, 1988
• Time considered irrelevant for real-time systems
  BIT Numerical Mathematics, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Research needs in manufacturing systems
  IEEE Control Systems Magazine, 1985
• Dynamic Configuration for Distributed Systems
  IEEE Transactions on Software Engineering, 1985
• The "BUG" heard 'round the world
  ACM SIGSOFT Software Engineering Notes, 1981
• Toward a discipline of real-time programming
  Communications of the ACM, 1977