Requirement specification in pseudo-natural language in PROMIS | IEEE Conference Publication | IEEE Xplore