Duarte, L., 		Foss, L., 		Wagner, F., & 		Heimfarth, T.
2010 Jul 20.  A Probabilistic Model Checking Technique for the Verification of Self-Organizing Emergent Systems. Proceedings of the Integrated Software and Hardware Seminar (SEMISH). [Online] :