M. S. Ardekani, R. P. Singh, N. Agrawal, D. B. Terry, and R. O. Suminto, Rivulet: A Faulttolerant Platform for Smart-home Applications, Proc. of Middleware'17, pp.41-54, 2017.

F. Boyer, O. Gruber, and D. Pous, Robust Reconfigurations of Component Assemblies, Proc. of ICSE'13, pp.13-22, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00966078

F. Boyer, O. Gruber, and G. Salaün, Specifying and Verifying the Synergy Reconfiguration Protocol with LOTOS NT and CADP, Proc. of FM'11, vol.6664, pp.103-117, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648909

A. Brogi, A. Canciani, and J. Soldani, Fault-Aware Management Protocols for Multi-Component Applications, Journal of Systems and Software, vol.139, pp.189-210, 2018.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., Reference Manual of the LNT to LOTOS Translator, 2018.

G. Delzanno, Formal Verification of Internet of Things Protocols, Proc. of FRIDA'18, 2018.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999.

E. N. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Comput. Surv, vol.34, issue.3, pp.375-408, 2002.

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. D. Palma, Reliable Self-deployment of Cloud Applications, Proc. of SAC'14, pp.1331-1338, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00934042

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. D. Palma, Reliable Self-deployment of Distributed Cloud Applications, Softw., Pract. Exper, vol.47, issue.1, pp.3-20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01290465

G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni, Exception Handling for Repair in Service-Based Processes, IEEE Trans. Software Eng, vol.36, issue.2, pp.198-215, 2010.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT, vol.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

T. N. Gia, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen, Fault Tolerant and Scalable IoT-Based Architecture for Health Monitoring, Proc. of SAS'15, 2015.

. Iso and . Lotos--a, Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989.

A. Krishna, M. L. Pallec, R. Mateescu, L. Noirie, and G. Salaün, IoT Composer: Composition and Deployment of IoT Applications, Proc. of ICSE'19, pp.19-22, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02146569

A. Krishna, M. L. Pallec, R. Mateescu, L. Noirie, and G. Salaün, Rigorous Design and Deployment of IoT Applications, Proc. of FormaliSE'19, pp.21-30, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02146553

B. Lampson and H. E. Sturgis, Crash Recovery in a Distributed Data Storage System, 1979.

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

R. Milner, Communication and Concurrency, 1989.

U. Ozeer, X. Etchevers, L. Letondeur, F. Ottogalli, G. Salaün et al., Resilience of Stateful IoT Applications in a Dynamic Fog Environment, Proc. of MobiQuitous'18, pp.332-341, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01927286

G. Salaün, X. Etchevers, N. D. Palma, F. Boyer, and T. Coupaye, Verification of a Selfconfiguration Protocol for Distributed Applications in the Cloud, Assurances for Self-Adaptive Systems -Principles, Models, and Techniques, vol.7740, pp.60-79, 2013.

D. Terry, Toward a New Approach to IoT Fault Tolerance, Computer, vol.49, issue.8, pp.80-83, 2016.

S. Zhou, K. Lin, J. Na, C. Chuang, and C. Shih, Supporting Service Adaptation in Fault Tolerant Internet of Things, Proc. of SOCA'15, pp.65-72, 2015.