Using non-functional requirements to systematically select among alternatives in architectural design (1995)

by L Chung, B Nixon, E Yu
Venue:Software Verification Research Centre, Department of Computer Science. The Univ. of Queensland, TR