Modeling User-System Interaction in Use Cases with Dynamic Views | IEEE Conference Publication | IEEE Xplore