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