Exploiting traceability uncertainty between software architectural models and extra-functional results