Duarte, L., 		Foss, L., 		Wagner, F., & 		Heimfarth, T.
(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>, (pp. 410-424). Porto Alegre: SBC.