A requirements engineering methodology combining models and controlled natural language | IEEE Conference Publication | IEEE Xplore