B. Han, V. Gopalakrishnan, L. Ji, and S. Lee, Network function virtualization: Challenges and opportunities for innovations, IEEE Communications Magazine, vol.53, issue.2, pp.90-97, 2015.
DOI : 10.1109/MCOM.2015.7045396

D. Namiot and M. Sneps-sneppe, On micro-services architecture, International Journal of Open Information Technologies, vol.2, issue.9, pp.24-27, 2014.

D. Jaramillo, D. V. Nguyen, and R. Smart, Leveraging microservices architecture by using Docker technology, SoutheastCon 2016, pp.1-5, 2016.
DOI : 10.1109/SECON.2016.7506647

C. J. Anderson, N. Foster, A. Guha, J. Jeannin, D. Kozen et al., NetkAT, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.113-126, 2014.
DOI : 10.1145/2535838.2535862

N. Foster, D. Kozen, M. Milano, A. Silva, and L. Thompson, A coalgebraic decision procedure for NetKAT, Proc. POPL 2015, 2015.
DOI : 10.1145/2775051.2677011

N. Foster, D. Kozen, K. Mamouras, M. Reitblatt, and A. Silva, Probabilistic NetKAT, Proceedings of the 25th European Symposium on Programming Languages and Systems, pp.282-309
DOI : 10.1007/11499169_15

C. Chilton, B. Jonsson, and M. Z. Kwiatkowska, Assume-Guarantee Reasoning for Safe Component Behaviours, FACS, vol.12, pp.92-109, 2012.
DOI : 10.1007/978-3-642-35861-6_6
URL : https://hal.archives-ouvertes.fr/hal-00740073

D. Kozen, A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events, Information and Computation, vol.110, issue.2, pp.366-390, 1994.
DOI : 10.1006/inco.1994.1037

W. John, F. Moradi, B. Pechenot, and P. Sköldström, Meeting the observability challenges for VNFs in 5G systems, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
DOI : 10.23919/INM.2017.7987445

A. Sheoran, X. Bu, L. Cao, P. Sharma, and S. Fahmy, An empirical case for container-driven fine-grained VNF resource flexing, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), pp.121-127, 2016.
DOI : 10.1109/NFV-SDN.2016.7919486

P. B. Kruchten, The 4+1 View Model of architecture, IEEE Software, vol.12, issue.6, pp.42-50, 1995.
DOI : 10.1109/52.469759

D. Giannakopoulou and J. Magee, Fluent model checking for event-based systems, ACM SIGSOFT Software Engineering Notes, pp.257-266, 2003.
DOI : 10.1145/940071.940106

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

K. Gierlowsky, Ubiquity of client access in heterogeneous access environment, Journal of Telecommunications and Information technology, 2014.

P. Ravali, S. K. Vasudevan, and R. Sundaram, Open Air Interface ??? Adaptability Perspective, Indian Journal of Science and Technology, vol.9, issue.6, 2016.
DOI : 10.17485/ijst/2016/v9i6/78929

R. Van-glabbeek and U. Goltz, Equivalence notions for concurrent systems and refinement of actions, Mathematical Foundations of Computer Science, pp.237-248, 1989.
DOI : 10.1007/3-540-51486-4_71

R. Milner, A calculus of communicating systems, 1980.
DOI : 10.1007/3-540-10235-3

J. Magree, Behavioral analysis of software architectures using ltsa, Software Engineering, pp.634-637, 1999.

A. M. Medhat, T. Taleb, A. Elmangoush, G. A. Carella, S. Covaci et al., Service Function Chaining in Next Generation Networks: State of the Art and Research Challenges, IEEE Communications Magazine, vol.55, issue.2, pp.216-223, 2017.
DOI : 10.1109/MCOM.2016.1600219RP

S. Spinoso, M. Virgilio, W. John, A. Manzalini, G. Marchetto et al., Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context, pp.253-262, 2015.
DOI : 10.1109/ICC.2013.6654813

M. K. Shin, Y. Choi, H. H. Kwak, S. Pack, M. Kang et al., Verification for NFV-enabled network services, 2015 International Conference on Information and Communication Technology Convergence (ICTC), pp.810-815, 2015.
DOI : 10.1109/ICTC.2015.7354672