Refining and reasoning about nonfunctional requirements. - S. Farhat; Greg Simco; Frank J. Mitropoulos (ACM Southeast Regional Conference, 2009)