A model-based approach to anomaly detection in software architectures | Publicación