Reasoning About Quantitative Architectural Attributes (Invited Paper). - Lamia Labed Jilani; Imen Derbel; Khaled Bsaïes; Hamdi Nasreddine; Ali Mili 001 (J. Softw., 2011)