A Development Procedure for Discovering Uncertain Requirements | IEEE Conference Publication | IEEE Xplore