L. Duarte, L. Foss, F. Wagner, and T. Heimfarth.
" A Probabilistic Model Checking Technique for the Verification of Self-Organizing Emergent Systems", in <em>Proceedings of the 37th Integrated Software and Hardware Seminar</em>, Belo Horizonte/MG, 2010, pp. 410-424.