J. Abrial, Modeling in Event-B -System and Software Engineering, 2010.

J. Abrial and T. S. Hoang, Using Design Patterns in Formal Methods: An Event-B Approach, ICTAC, pp.1-2, 2008.
DOI : 10.1007/978-3-540-85762-4_1

C. Bernon, V. Camps, M. Gleizes, and G. Picard, Engineering Adaptive Multi-Agent Systems: The ADELFE Methodology, Agent-Oriented Methodologies, pp.172-202, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01205932

C. Bernon, M. P. Gleizes, and G. Picard, Enhancing Self-organising Emergent Systems Design with Simulation, ESAW, pp.284-299, 2006.
DOI : 10.1007/978-3-540-75524-1_16
URL : https://hal.archives-ouvertes.fr/hal-01205872

M. Brambilla, C. Pinciroli, M. Birattari, and M. Dorigo, Property-driven design for swarm robotics, AAMAS 2012, pp.139-146, 2012.

M. Casadei and M. Viroli, Using probabilistic model checking and simulation for designing selforganizing systems, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.2103-2104, 2009.

D. Marzo-serugendo, G. Gleizes, M. Karageorgos, and A. , Self-organization in multi-agent systems, The Knowledge Engineering Review, vol.20, issue.02, pp.165-189, 2005.
DOI : 10.1017/S0269888905000494

L. Gardelli, M. Viroli, and A. Omicini, Exploring the dynamics of self-organising systems with stochastic ?-calculus: Detecting abnormal behaviour in mas, 2006.

T. S. Hoang and J. Abrial, Reasoning about Liveness Properties in Event-B, In ICFEM, vol.12, issue.3, pp.456-471, 2011.
DOI : 10.1016/0020-0190(81)90106-X

T. S. Hoang, A. Fürst, and J. Abrial, Event-b patterns and their tool support, Software and System Modeling, pp.229-244, 2013.

T. S. Hoang, H. Kuruma, D. A. Basin, and J. Abrial, Developing topology discovery in event-b, 2009.

S. Konur, C. Dixon, and M. Fisher, Analysing robot swarm behaviour via probabilistic model checking, Robotics and Autonomous Systems, vol.60, issue.2, pp.199-213, 2012.
DOI : 10.1016/j.robot.2011.10.005

Z. Manna and A. Pnueli, Adequate proof principles for invariance and liveness properties of concurrent programs, Science of Computer Programming, vol.4, issue.3, 1984.
DOI : 10.1016/0167-6423(84)90003-0

D. Méry and M. Poppleton, Formal Modelling and Verification of Population Protocols, iFM -10th International Conference on integrated Formal Methods -2013, 2013.
DOI : 10.1007/978-3-642-38613-8_15

I. Pereverzeva, E. Troubitsyna, and L. Laibinis, Development of fault tolerant mas with cooperative error recovery by refinement in event-b. CoRR, abs, p.7035, 1210.