The evolution and state-of-the-art of real-time languages

A real-time systems context for the framework for information systems architecture

IBM Systems Journal

Re-usable software design for programmable logic controllers

Checking timing constraints in distributed object-oriented programs

ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems

An improved process for the development of PLC software

ICSE '97 Proceedings of the 19th international conference on Software engineering

Temporal logics for real-time system specification

ACM Computing Surveys (CSUR)

An Interval Logic for Real-Time System Specification

IEEE Transactions on Software Engineering

Temporal abstract classes and virtual temporal specifications for real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

Towards a Mobile Code Management Environment for Complex,Real-Time, Distributed Systems

Real-Time Systems