Lucio Duarte, Luciana Foss, Flávio Wagner, and Tales Heimfarth. 2010.
 A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems. In <em>Anais do XXXVII Seminário Integrado de Software e Hardware</em>, julho 20, 2010, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 410-424.