publicações selecionadas artigo de revista Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
