A Model for System Resources in Flexible Time-Triggered Middleware Architectures | Publicación