RT-ASLAN: A specification language for real-time systems

RNet: a hard real-time distributed programming system

IEEE Transactions on Computers - Special Issue on Real-Time Systems

Please: a language combining imperative and logic programming

ACM SIGPLAN Notices

An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering

Real-Time Specification Using Lucid

IEEE Transactions on Software Engineering

RSF: A Formalism for Executable Requirement Specifications

IEEE Transactions on Software Engineering

Executing formal specifications: the ASTRAL to TRIO translation approach

TAV4 Proceedings of the symposium on Testing, analysis, and verification

Querying of Executable Software Specifications

IEEE Transactions on Software Engineering

Validating real-time systems by history-checking TRIO specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)

Specification of Realtime Systems Using ASTRAL

IEEE Transactions on Software Engineering

Specification of realtime systems using ASTRAL

IEEE Transactions on Software Engineering

Specification-based prototyping for embedded systems

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

Timed Communicating Object Z

IEEE Transactions on Software Engineering

High-integrity code generation for state-based formalisms

Proceedings of the 22nd international conference on Software engineering

ATOM: An object-based formal method for real-time systems

Annals of Software Engineering

Requirements specifications checking of embedded real-time software

Journal of Computer Science and Technology

A Task-Based Methodology for Specifying Expert Systems

IEEE Expert: Intelligent Systems and Their Applications

Compositional Semantics of a Real-Time Prototyping Language

IEEE Transactions on Software Engineering

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering

Evaluating real-time software specification languages

Computer Standards & Interfaces

Formally Specifying and Verifying Real-Time Systems

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods