發送短信: Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation