Composable Models for Timing and Liveness Analysis in Distributed Real-Time Embedded Systems Middleware | Publicación