An approach for using procedure manuals as a source for Requirements Elicitation | IEEE Conference Publication | IEEE Xplore