resumo Selected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer Science