Annotating UML Models with Non-functional Properties for Quantitative Analysis | Publicación