Real-Time Specification Inheritance Anomalies and Real-Time Filters

RTsynchronizer: language support for real-time specifications in distributed systems

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems

Separation and composition of concerns in the object-oriented model

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

An Approach to Platform Independent Real-Time Programming: (2) Practical Application

Real-Time Systems

CLOWN as a testbed for concurrent object-oriented concepts

Concurrent object-oriented programming and petri nets

Composing crosscutting concerns using composition filters

Communications of the ACM

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

ACM Transactions on Software Engineering and Methodology (TOSEM)

Towards reusable real-time objects

Annals of Software Engineering

Extending Object-Z for Specifying Real-Time Systems

TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Timed-event abstraction and timing constraints in distributed real-time programming

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

Filter objects for Java

Software—Practice & Experience

Aspects and components in real-time system development: Towards reconfigurable and reusable software

Journal of Embedded Computing - Real-Time and Embedded Computing Systems

Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware

Electronic Notes in Theoretical Computer Science (ENTCS)