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

Venkita Subramonian Christopher D. Gill César Sánchez Henny B. Sipma Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. 252-261 2006 conf/emsoft/2006 EMSOFT http://doi.acm.org/10.1145/1176887.1176924 db/conf/emsoft/emsoft2006.html#SubramonianGSS06