A method for requirements elicitation using a domain model | IEEE Conference Publication | IEEE Xplore