Future user requirement elicitation for technology investment: A formal approach | IEEE Conference Publication | IEEE Xplore