Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment | IEEE Conference Publication | IEEE Xplore