A. Alhosban, K. Hashmi, Z. Malik, B. Medjahed, and S. Benbernou, Bottom-Up Fault Management in Service-Based Systems, ACM Transactions on Internet Technology, vol.15, issue.2, pp.1-740, 2015.
DOI : 10.1007/978-3-540-68123-6_1

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

A. Betin-can, T. Bultan, M. Lindvall, B. Lux, and S. Topp, Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers, Automated Software Engineering, vol.10, issue.2, pp.129-178, 2007.
DOI : 10.1109/C-M.1978.218136

T. Binz, U. Breitenbücher, O. Kopp, and F. Leymann, TOSCA: Portable Automated Deployment and Management of Cloud Applications, pp.527-549, 2014.
DOI : 10.1007/978-1-4614-7535-4_22

T. Binz, C. Fehling, F. Leymann, A. Nowak, and D. Schumm, Formalizing the Cloud through Enterprise Topology Graphs, 2012 IEEE Fifth International Conference on Cloud Computing, pp.742-749, 2012.
DOI : 10.1109/CLOUD.2012.143

A. Brogi, A. Canciani, and J. Soldani, Modelling and Analysing Cloud Application Management, Service Oriented and Cloud Computing: 4th European Conference, pp.19-33, 2015.
DOI : 10.1007/978-3-642-45005-1_64

A. Brogi, A. Canciani, J. Soldani, M. Aiello, B. E. Johnsen et al., Fault-Aware Application Management Protocols, Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference Proceedings. pp, pp.219-234, 2016.
DOI : 10.1007/978-3-319-25942-0_18
URL : https://hal.archives-ouvertes.fr/hal-01638591

A. Brogi, A. Canciani, J. Soldani, and P. Wang, A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications, Transactions on Petri Nets and Other Models of Concurrency XI, pp.28-48, 2016.
DOI : 10.1016/j.jss.2015.12.025

M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, Rigorous Development of Complex Fault-Tolerant Systems, LNCS, vol.4157, 2007.
DOI : 10.1007/11916246

G. Candea, A. B. Brown, A. Fox, and D. Patterson, Recovery-oriented computing: building multitier dependability, Computer, vol.37, issue.11, pp.60-67, 2004.
DOI : 10.1109/MC.2004.219

L. Chen, J. Jiao, and J. Fan, Fault propagation formal modeling based on stateflow, 2015 First International Conference on Reliability Systems Engineering (ICRSE), pp.1-7, 2015.
DOI : 10.1109/ICRSE.2015.7366480

D. Cosmo, R. Mauro, J. Zacchiroli, S. Zavattaro, and G. , Aeolus: a Component Model for the Cloud. Information and Computation pp, pp.100-121, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

F. Durán and G. Salaün, Robust and reliable reconfiguration of cloud applications, Journal of Systems and Software, vol.122, pp.524-537, 2016.
DOI : 10.1016/j.jss.2015.09.020

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A deployment management system, Proc. of the 33rd PLDI, pp.263-274, 2012.

L. Grunske, B. Kaiser, and Y. Papadopoulos, Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations, Proc. of the 8th CBSE, pp.33-48, 2005.
DOI : 10.1007/11424529_3

E. Johnsen, O. Owe, E. Munthe-kaas, and J. Vain, Incremental fault-tolerant design in an object-oriented setting, Proceedings Second Asia-Pacific Conference on Quality Software, pp.223-230, 2001.
DOI : 10.1109/APAQS.2001.990023
URL : http://home.ifi.uio.no/~einarj/Papers/johnsen01apaqs.pdf

B. Kaiser, P. Liggesmeyer, and O. Mäckel, A new component concept for fault trees, Proc. of the 8th SCS, pp.37-46, 2003.

T. Killalea, The hidden dividends of microservices, Communications of the ACM, vol.59, issue.8, pp.42-45, 2016.
DOI : 10.1145/2948985

F. Leymann, Cloud computing. it -Information Technology, pp.163-164, 2011.

P. Liggesmeyer and M. Rothfelder, Improving system reliability with automatic fault tree generation, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224), pp.90-99, 1998.
DOI : 10.1109/FTCS.1998.689458

D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan et al., Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.
DOI : 10.1109/32.385971

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104
URL : http://www.ics.uci.edu/~andre/ics223w2006/mageekramer.pdf

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

W. Qiang, L. Yan, S. Bliudze, and M. Xiaoguang, Automatic Fault Localization for BIP, Proc. of the 1st SETTA, pp.277-283, 2015.
DOI : 10.1007/978-3-319-25942-0_18
URL : https://infoscience.epfl.ch/record/211109/files/main.pdf

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-1442, 2009.
DOI : 10.1145/1516533.1516538