Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real- Time and Embedded Systems Venkita Subramonian and Christopher Gill*