Extracting High-Level Functional Design from Software Requirements | IEEE Conference Publication | IEEE Xplore