J. Cano, G. Delaval, E. Rutten, Y. Benazzouz, and L. Gurgen, ECA Rules for IoT Environment: A Case Study in Safe Design, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014.
DOI : 10.1109/SASOW.2014.32
URL : https://hal.archives-ouvertes.fr/hal-01091149

M. Caporuscio, P. Inverardi, and P. Pelliccione, Compositional verification of middleware-based software architecture descriptions, Proceedings. 26th International Conference on Software Engineering, pp.221-230, 2004.
DOI : 10.1109/ICSE.2004.1317444

C. Cecchinel, S. Mosser, and P. Collet, Software Development Support for Shared Sensing Infrastructures: A Generative and Dynamic Approach, Software Reuse for Dynamic Systems in the Cloud and Beyond, number 8919 in LNCS, pp.221-236, 2015.
DOI : 10.1007/978-3-319-14130-5_16
URL : https://hal.archives-ouvertes.fr/hal-01341098

A. Classen, P. Heymans, P. Schobbens, A. Legay, and J. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.335-344, 2010.
DOI : 10.1145/1806799.1806850

A. K. Dey, Understanding and Using Context. Personal Ubiquitous Comput, pp.4-7, 2001.

D. Guinard, V. Trifa, and E. Wilde, A resource oriented architecture for the Web of Things, 2010 Internet of Things (IOT), pp.1-8, 2010.
DOI : 10.1109/IOT.2010.5678452

S. Haller, The things in the internet of things. Poster at the (IoT, 2010.

J. Hugues, L. Pautet, and F. Kordon, Refining middleware functions for verification purpose, Proc. of the Monterey Workshop (Monterey'03), pp.79-87, 2003.

G. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

A. Ressouche, J. Tigli, and O. Carrillo, Toward Validated Composition in Component-Based Adaptive Middleware, Software Composition, pp.165-180, 2011.
DOI : 10.1038/scientificamerican0991-94
URL : https://hal.archives-ouvertes.fr/inria-00605915

D. Socci, P. Poplavko, S. Bensalem, M. Bozga, and P. Bourgos, A Timed-Automata Based Middleware for Time-Critical Multicore Applications, 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp.1-8, 2015.
DOI : 10.1109/ISORCW.2015.55
URL : https://hal.archives-ouvertes.fr/hal-01212346

J. Tigli, S. Lavirotte, G. Rey, V. Hourdin, D. Cheung et al., WComp middleware for ubiquitous computing: Aspects and composite event-based Web services, Annals of Telecommunication, 2009.
DOI : 10.1007/s12243-008-0081-y
URL : https://hal.archives-ouvertes.fr/hal-00378325