V. Bryant, Metric spaces: iteration and application. Mathematical systems theory, 1985.

T. H. Cormen, S. Clifford, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 2001.

N. Eén and N. Sörensson, An extensible sat solver, Proceedings of 6th. International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, vol.2919, pp.502-518, 2003.

J. L. Fiadeiro, A. Lopes, and L. Bocchi, An abstract model of service discovery and binding, Formal Aspects of Computing, vol.23, issue.4, pp.433-463, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00636204

B. Grünbaum, Convex polytopes, vol.221, 1967.

T. A. Henzinger, The theory of hybrid automata, Proceedings of Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96, pp.278-292, 1996.

T. A. Henzinger, The theory of hybrid automata, Verification of Digital and Hybrid Systems, pp.265-292, 2000.

T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, What's decidable about hybrid automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998.

, IBM: IBM ILOG CPLEX Optimization Studio, 2004.

L. M. De-moura and N. Bjørner, Satisfiability modulo theories: introduction and applications, Communications of the ACM, vol.54, issue.9, pp.69-77, 2011.

P. Nuzzo, A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-vincentelli, CalCS: SMT solving for non-linear convex constraints, ternational Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, pp.71-79, 2010.

M. Research, Z3: An efficient smt solver

Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-vincentelli, S. A. Seshia, G. J. Pappas et al., SMC: Satisfiability modulo convex optimization, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.19-28, 2017.

A. Strunk, QoS-aware service composition: A survey, Proceedings of 8th IEEE European Conference on Web Services (ECOWS 2010), pp.67-74, 2010.

G. S. Tseitin, On the complexity of derivation in propositional calculus, Symbolic Computation, pp.466-483, 1983.