R. Alur and D. L. Dill, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.

R. Borja, J. De-la-pinta, A. Álvarez, and J. Maestre, Integration of service robots in the smart home by means of UPnP: A surveillance robot case study, Robotics and Autonomous Systems, vol.61, issue.2, pp.61153-160, 2013.
DOI : 10.1016/j.robot.2012.10.005

S. Chitic, J. Ponge, O. Simonin-rebollo, and V. Botti, Are middlewares ready for multi-robots systems Enhancing decentralized service discovery in open service-oriented multi-agent systems, Simulation, Modeling, and Programming for Autonomous Robots -4th International Conference. Proceedings, pp.279-2901, 2014.

A. Elkady and T. Sobh, Robotics Middleware: A Comprehensive Literature Survey and Attribute-Based Bibliography, Journal of Robotics, vol.17, issue.4, 2012.
DOI : 10.1109/TSMCC.2004.826285

R. Fielding, Representational state transfer Architectural Styles and the Design of Netowork-based Software Architecture, pp.76-85, 2000.

S. Frénot, F. Le-mouël, J. Ponge, and G. Salagnac, Various Extensions for the Ambient OSGi framework, Adamus Workshop in ICPS, 2010.

P. K. Gummadi, S. Saroiu, and S. D. Gribble, A measurement study of Napster and Gnutella as examples of peer-to-peer file sharing systems, ACM SIGCOMM Computer Communication Review, vol.32, issue.1, pp.82-82, 2002.
DOI : 10.1145/510726.510756

V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. Vassiliadist et al., Service-oriented middleware for the Future Internet: state of the art and research directions, Journal of Internet Services and Applications, vol.2, issue.1, pp.23-45, 2011.
DOI : 10.1007/s13174-011-0021-3
URL : https://hal.archives-ouvertes.fr/inria-00588753

M. Klusch, B. Fries, and K. Sycara, Automated semantic web service discovery with OWLS-MX, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.915-922, 2006.
DOI : 10.1145/1160633.1160796
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.4887

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

P. Maymounkov and D. Mazieres, Kademlia: A peer-to-peer information system based on the xor metric. In Peer-to-Peer Systems, pp.53-65, 2002.

N. Mohamed, J. Jaroodi, and I. Jawhar, Middleware for Robotics: A Survey, 2008 IEEE Conference on Robotics, Automation and Mechatronics, pp.736-742, 2008.
DOI : 10.1109/RAMECH.2008.4681485

A. Pereira, N. Costa, and C. Serôdio, Peer-to-Peer Jini for Truly Service-Oriented WSNs, International Journal of Distributed Sensor Networks, vol.9, issue.3, 2011.
DOI : 10.1007/s11761-009-0043-x

R. Pike, Go at Google, Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity, SPLASH '12, pp.5-6
DOI : 10.1145/2384716.2384720

D. Romero, R. Rouvoy, L. Seinturier, and P. Carton, Service Discovery in Ubiquitous Feedback Control Loops, Distributed Applications and Interoperable Systems, pp.112-125, 2010.
DOI : 10.1207/S15327051HCI16234_02
URL : https://hal.archives-ouvertes.fr/hal-01061075

P. Rompothong and T. Senivongse, A query federation of uddi registries, Proceedings of the 1st international symposium on Information and communication technologies, pp.561-566, 2003.

C. N. Ververidis and G. C. Polyzos, Service discovery for mobile Ad Hoc networks: a survey of issues and techniques, IEEE Communications Surveys & Tutorials, vol.10, issue.3, pp.30-45, 2008.
DOI : 10.1109/COMST.2008.4625803