publicações selecionadas artigo de conferência A coalgebraic semantic framework for reasoning about UML sequence diagrams 2008