An approach to evaluate real-time software architectures for safety-critical systems

A new benchmark for distributed real-time systems: some experimental results

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

Parallel and distributed real-time systems: an introduction

A timed automata semantics for Real-Time UML specifications

Transformation of UML specification to XTG

GNSS extensions: intermediate interference robustness report deliverable D7 for shine

Practice of real-time software architecture: Collider, satellites, and tanks combined

Specification and verification of a safty shell with statcharts and extended timed graphs

Empirical evaluation of ontological commitments for ADLs

ACL: an approach to formal verification of real time systems

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

Parallel and distributed real-time systems: an introduction

Industrial concerns for architecture-centered software development

Towards explicit representation of architectural design assumption

Some observations on teaching and industry at Delft University of Technology

Formal specification of a safety shell in real-time control practice

Specification of real-time systems in UML

Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems

Performance comparison of four software architectures for distributed computations