Duarte, Lucio, 		Foss, Luciana, 		Wagner, Flávio, AND 		Heimfarth, Tales.
" A Probabilistic Model Checking Technique for the Verification of Self-Organizing Emergent Systems" <em>Proceedings of the Integrated Software and Hardware Seminar (SEMISH)</em> [Online], (20 July 2010)