P. Oppenheimer, Top-down network design. Cisco system inc, 2004.

B. A. Schroeder, On-line monitoring: a tutorial, Computer, vol.28, issue.6, pp.72-78, 1995.
DOI : 10.1109/2.386988

T. D. Chandra, R. Griesemer, and J. Redstone, Paxos made live, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pp.398-407, 2007.
DOI : 10.1145/1281100.1281103

M. Burrows, The chubby lock service for loosely-coupled distributed systems, In: OSDI, 2006.

D. Giannakopoulou, C. S. Pasareanu, and H. Barringer, Assumption generation for software component verification, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.3-12, 2002.
DOI : 10.1109/ASE.2002.1114984

G. D. Penna, D. Magazzeni, B. Intrigila, I. Melatti, and E. Tronci, Automatic generation of optimal controllers through model checking techniques, pp.26-33, 2006.

L. Mostarda, S. Marinovic, and N. Dulay, Distributed Orchestration of Pervasive Services, 2010 24th IEEE International Conference on Advanced Information Networking and Applications, 2010.
DOI : 10.1109/AINA.2010.100

D. Pediaditakmois, L. Mostarda, C. Dong, and N. Dulay, Policies for Self Tuning Home Networks, IEEE POLICY 09, 2009.

L. Lamport, Paxos made simple, fast, and byzantine, In: OPODIS, pp.7-9, 2002.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

M. Ben-ari, Principles of Concurrent and Distributed Programming, 2006.

L. Mostarda, R. Ball, and N. Dulay, Distributed Fault Tolerant Controllers, Depart. of Computing Imperial College London, vol.114, 2010.
DOI : 10.1007/978-3-540-68265-3_18

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

F. Cao, B. R. Bryant, C. C. Burt, R. R. Raje, A. M. Olson et al., A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling, Electronic Notes in Theoretical Computer Science, vol.114, pp.119-136, 2005.
DOI : 10.1016/j.entcs.2004.02.070

F. Chen and G. Rosu, Towards Monitoring-Oriented Programming, Electronic Notes in Theoretical Computer Science, vol.89, issue.2, 2003.
DOI : 10.1016/S1571-0661(04)81045-4

P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili, Synthesis of correct and distributed adaptors for component-based systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.405-409, 2005.
DOI : 10.1145/1101908.1101981

F. Montagut and R. Molva, Enabling Pervasive Execution of Workflows, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2005.
DOI : 10.1109/COLCOM.2005.1651227

R. Sen, G. C. Roman, and C. Gill, CiAN: A Workflow Engine for MANETs, Coordination Models and Languages, pp.280-295, 2008.
DOI : 10.1007/978-3-540-68265-3_18