Christopher Burgess, Aneesh Krishna: A Process-Oriented Approach for the Optimal Satisficing of Non-Functional Requirements. ICSP 2009: 293-304