Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases | IEEE Conference Publication | IEEE Xplore