The UML «include» Relationship and the Functional Refinement of Use Cases | IEEE Conference Publication | IEEE Xplore