Monitoring Architectural Properties in Dynamic Component-Based Systems. - Henry Muccini; Andrea Polini; Fabiano Ricci; Antonia Bertolino (CBSE, 2007)