Integrating Real-Time Scheduling Theory and Program Refinement

It's now or never

Crossroads - Special issue on software engineering

A Formal Method for Building Concurrent Real-Time Software

IEEE Software

A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems

A framework for adding time into formal object models

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)

Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program

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

A theory for execution-time derivation in real-time programs

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)

Coercing real-time refinement: a transmitter

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods