Requirements capture and analysis prior to modeling | IEEE Conference Publication | IEEE Xplore