Verification of an active control system using temporal process algebra

This publication has 9 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• On the testability of distributed real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Real-Time Software Development with Formal Models
  Journal of Computing in Civil Engineering, 1995
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• An introduction to modal and temporal logics for CCS
  Lecture Notes in Computer Science, 1991
• INTELLIGENT STRUCTURES—2
  Published by Taylor & Francis ,1991
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Software safety: why, what, and how
  ACM Computing Surveys, 1986
• An eigensystem realization algorithm for modal parameter identification and model reduction
  Journal of Guidance, Control, and Dynamics, 1985