S. Farhat, G. Simco, Frank J. Mitropoulos. Refining and reasoning about nonfunctional requirements. In John D. McGregor, editor, Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009. ACM, 2009. [doi]