publicações selecionadas artigo de conferência The UML «include» relationship and the functional refinement of use cases 2010