The design of real-time systems: from specification to implementation and verification

How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling

IEEE Transactions on Computers

A refinement calculus for the synthesis of verified hardware descriptions in VHDL

ACM Transactions on Programming Languages and Systems (TOPLAS)

Design and Programming Tools for Time Critical Applications

Real-Time Systems

OOPM/RT: a multimodeling methodology for real-time simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives

IEEE Transactions on Software Engineering

Giotto: A Time-Triggered Language for Embedded Programming

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

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

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