. Cheng, Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4
URL : http://people.cs.umass.edu/~brun/pubs/pubs/Cheng09.pdf

N. K. Singh, Using Event-B for Critical Device Software Systems, 2013.
DOI : 10.1007/978-1-4471-5260-6

M. B. Andriamiarina, D. Méry, and N. K. Singh, Revisiting snapshot algorithms by refinement-based techniques, Computer Science and Information Systems, vol.11, issue.1, pp.251-270, 2014.
DOI : 10.2298/CSIS130122007A
URL : https://hal.archives-ouvertes.fr/hal-00734131

Y. Chen, M. Lawford, H. Wang, and A. Wassyng, Insulin Pump Software Certification, Foundations of Health Information Engineering and Systems, ser. LNCS, pp.87-106
DOI : 10.1007/978-3-642-53956-5_7
URL : http://www.cas.mcmaster.ca/~lawford/papers/FHIES2013.pdf

M. Satpathy, S. Ramesh, C. F. Snook, N. K. Singh, and M. J. Butler, A mixed approach to rigorous development of control designs, 2013 IEEE Conference on Computer Aided Control System Design (CACSD), pp.7-12, 2013.
DOI : 10.1109/CACSD.2013.6663474

]. I. Lee, G. J. Pappas, R. Cleaveland, J. Hatcliff, B. H. Krogh et al., The Problem with Threads, Computer, vol.39, issue.5, pp.33-38, 2006.
DOI : 10.1109/MC.2006.180

R. Project, Rigorous open development environment for complex systems, 2004.

M. Leuschel and M. Butler, ProB: A Model Checker for B, ser, LNCS, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

. Lemos, Software engineering for self-adaptive systems: A second research roadmap, " in Software Engineering for Self-Adaptive Systems II, ser, pp.1-32

M. Parashar and S. Hariri, Autonomic computing: An overview, " in Unconventional Programming Paradigms, ser. Lecture Notes in Computer Science, pp.257-269, 2005.
DOI : 10.1007/11527800_20
URL : http://www.caip.rutgers.edu/TASSL/Papers/automate-upp-overview-05.pdf

A. Bhattacharyya, Formal modelling and analysis of dynamic reconfiguration of dependable systems, 2013.

G. Babin, Y. Ait-ameur, and M. Pantel, A generic model for system substitution, Trustworthy Cyber Physical Systems Engineering, 2016.

N. Palma, P. Laumay, and L. Bellissard, Ensuring dynamic reconfiguration consistency, 6th International Workshop on Component- Oriented Programming, pp.18-24, 2001.

A. Lanoix, J. Dormoy, and O. Kouchnarenko, Combining Proof and Model-checking to Validate Reconfigurable Architectures, Electronic Notes in Theoretical Computer Science, vol.279, issue.2, pp.43-57, 2011.
DOI : 10.1016/j.entcs.2011.11.011
URL : https://hal.archives-ouvertes.fr/hal-01222542

I. Pereverzeva, E. Troubitsyna, and L. Laibinis, A refinement-based approach to developing critical multi-agent systems, International Journal of Critical Computer-Based Systems, vol.4, issue.1, pp.69-91, 2013.
DOI : 10.1504/IJCCBS.2013.053743

M. U. Iftikhar and D. Weyns, A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System, Electronic Proceedings in Theoretical Computer Science, vol.5, issue.1, pp.45-62, 2012.
DOI : 10.1145/1134285.1134337

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

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

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola et al., On Patterns for Decentralized Control in Self-Adaptive Systems, LNCS, vol.40, issue.5, pp.76-107, 2013.
DOI : 10.1145/1808984.1808994

W. Su, J. Abrial, and H. Zhu, Formalizing hybrid systems with Event-B and the Rodin Platform, Science of Computer Programming, vol.94, issue.2, pp.164-202, 2014.
DOI : 10.1016/j.scico.2014.04.015

M. Butler, J. Abrial, and R. Banach, From Action Systems to Distributed Systems: The Refinement Approach, ch. Modelling and Refining Hybrid Systems in Event-B and Rodin

R. Banach, M. Butler, S. Qin, N. Verma, and H. Zhu, Core Hybrid Event-B I: Single Hybrid Event-B machines, Science of Computer Programming, vol.105, 2015.
DOI : 10.1016/j.scico.2015.02.003
URL : https://eprints.soton.ac.uk/378501/1/ContEvB_I.pdf

J. Abrial, The B-book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

M. Jastram, Rodin User's Handbook, oct 2013

J. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/978-3-642-18216-7

Y. , A. Ameur, and D. Méry, Making explicit domain knowledge in formal system development, Science of Computer Programming, vol.121, pp.100-127, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01245832