Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study