Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.

Venkita Subramonian, Christopher D. Gill, Csar Snchez, Henny B. Sipma

Browse the full EMSOFT paper archive.