Modeling and parallel evaluation of non-functional requirements using FRORL requirements language. - Tsai, Jeffrey J. P.; Li, Bing; Liu, Alan (1994)