L. Duarte, L. Foss, F. Wagner, and T. Heimfarth.
" 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>, Belo Horizonte/MG, 2010, pp. 410-424.