Validation of requirement elicitation framework using finite state machine | IEEE Conference Publication | IEEE Xplore