Duarte, Lucio, 		Foss, Luciana, 		Wagner, Flávio, E 		Heimfarth, Tales.
" A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems" <em>Anais do Seminário Integrado de Software e Hardware (SEMISH)</em> [Online], (20 julho 2010)