Embedding time granularity in a logical specification language for synchronous real-time systems

This publication has 16 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Dealing with different time scales in formal specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Dealing with different time granularities in formal specifications of real-time systems
  Real-Time Systems, 1991
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Testing Formal Specifications to Detect Design Errors
  IEEE Transactions on Software Engineering, 1985
• The temporal logic of branching time
  Acta Informatica, 1983
• Free logic and the concept of existence.
  Notre Dame Journal of Formal Logic, 1967