A case study in quantitative evaluation of real-time software architectures | Publicación