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. In Sang Lyul Min, Wang Yi, editors, Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. pages 252-261, ACM, 2006. [doi]
Abstract is missing.