U. RASHID, “A Methodological Approach: Formal Specification Of Quality Attributes Modeling Approcahes In The Waterfall Process Model”, VAWKUM trans. comput. sci., vol. 2, no. 1, pp. 15–20, Jan. 2014.