J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

M. B. Andriamiarina, H. Daoud, M. Belarbi, D. Méry, and C. Tanougast, Formal Verification of Fault Tolerant NoC-based Architecture, First International Workshop on Mathematics and Computer Science (IWMCS2012), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00763092

M. B. Andriamiarina, D. Méry, and N. K. Singh, Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms, Lecture Notes in Computer Science, vol.7940, pp.268-284, 2013.
DOI : 10.1007/978-3-642-38613-8_19

URL : https://hal.archives-ouvertes.fr/hal-00819256

M. B. Andriamiarina, D. Méry, and N. K. Singh, Analysis of Self-??? and P2P Systems Using Refinement, Lecture Notes in Computer Science, vol.8477, pp.117-123, 2014.
DOI : 10.1007/978-3-662-43652-3_9

URL : https://hal.archives-ouvertes.fr/hal-01018125

A. Berns and S. Ghosh, Dissecting Self-* Properties, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.10-19, 2009.
DOI : 10.1109/SASO.2009.25

R. Calinescu, S. Kikuchi, and M. Kwiatkowska, Formal Methods for the Development and Verification of Autonomic IT Systems, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, IGI Global, pp.90-104
DOI : 10.4018/978-1-60960-845-3.ch001

S. Dolev, Self Stabilization, Journal of Aerospace Computing, Information, and Communication, vol.1, issue.6, 2000.
DOI : 10.2514/1.10141

URL : https://hal.archives-ouvertes.fr/inria-00627780

M. Güdemann, F. Ortmeier, and W. Reif, Safety and Dependability Analysis of Self-Adaptive Systems, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), pp.177-184, 2006.
DOI : 10.1109/ISoLA.2006.38

D. Hansen and M. Leuschel, Translating B to TLA+ for validation with TLC: There and back again, 2013.

M. U. Iftikhar and D. Weyns, A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System, FOCLASA'12, pp.45-62, 2012.
DOI : 10.4204/EPTCS.91.4

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

G. T. Leavens, J. Abrial, D. S. Batory, M. J. Butler, A. Coglio et al., Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.221-236, 2006.
DOI : 10.1145/1173706.1173740

M. Leuschel and M. Butler, ProB: A Model Checker for B, Lecture Notes in Computer Science, vol.2805, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

C. C. Marquezan and L. Z. Granville, Self-* and P2P for Network Management -Design Principles and Case Studies, Briefs in Computer Science, 2012.

D. Méry, Refinement-based guidelines for algorithmic systems, International Journal of Software and Informatics, vol.3, issue.2-3, pp.197-239, 2009.

D. Méry and N. K. Singh, Automatic code generation from event-B models, Proceedings of the Second Symposium on Information and Communication Technology, SoICT '11, pp.179-188, 2011.
DOI : 10.1145/2069216.2069252

L. Penserini, H. Aldewereld, F. Dignum, and V. Dignum, Adaptivity within an Organizational Development Framework, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.477-478, 2008.
DOI : 10.1109/SASO.2008.13

I. S. Prasetya and S. D. Swierstra, Formal design of self-stabilizing programs: Theory and examples, 2000. 19. Project RODIN. Rigorous open development environment for complex systems, 2004.

M. Puviani, G. D. Serugendo, R. Frei, and G. Cabri, A method fragments approach to methodologies for engineering self-organizing systems, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.3, pp.1-3325, 2012.
DOI : 10.1145/2348832.2348836

G. Smith and J. W. Sanders, Formal Development of Self-organising Systems, Proceedings of the 6th International Conference on Autonomic and Trusted Computing, ATC '09, pp.90-104, 2009.
DOI : 10.1023/B:AGNT.0000038028.66672.1e

J. Sudeikat, J. Steghöfer, H. Seebach, W. Reif, W. Renz et al., Design and simulation of a wave-like self-organization strategy for resource-flow systems, MALLOW'10, pp.1-1, 2010.

D. Tosi and D. Lta, Research perspectives in self-healing systems, 2004.

D. Weyns, M. U. Iftikhar, D. G. De-la-iglesia, and T. Ahmad, A survey of formal methods in self-adaptive systems, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E '12, pp.67-79, 2012.
DOI : 10.1145/2347583.2347592

D. Weyns, S. Malek, and J. Andersson, FORMS, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.1, pp.1-861, 2012.
DOI : 10.1145/2168260.2168268