Environment Assertion Driven Requirements Elicitation: A Preliminary Study | IEEE Conference Publication | IEEE Xplore