D. Berleant and B. Kuipers, Qualitativenumeric simulation with q3. Recent advances in qualitative physics, pp.285-313, 1992.

B. Bredeweg, F. Linnebank, A. Bouwer, and J. Liem, Garp3 ??? Workbench for qualitative modelling and simulation, Ecological Informatics, vol.4, issue.5-6, pp.263-281, 2009.
DOI : 10.1016/j.ecoinf.2009.09.009

C. W. Brown, QEPCAD B, ACM SIGSAM Bulletin, vol.37, issue.4, pp.97-108, 2003.
DOI : 10.1145/968708.968710

A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.64-75, 2003.
DOI : 10.1109/TAC.2002.806655

URL : http://users.ece.cmu.edu/~krogh/papers/ChK03.pdf

L. A. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976.
DOI : 10.1109/TSE.1976.233817

J. De-kleer and D. G. Bobrow, Qualitative reasoning with higher-order derivatives, AAAI, pp.86-91, 1984.

P. Fouché and B. J. Kuipers, Reasoning about energy in qualitative simulation, IEEE Transactions on Systems, Man, and Cybernetics, vol.22, issue.1, pp.47-63, 1992.
DOI : 10.1109/21.141310

J. Gallois and A. Lanusse, Le test structurel pour la vérification de spécifications de systèmes industriels: L'outil agatha, Fiabilité & maintenabilité, pp.566-574, 1998.

J. Gallois and J. Pierron, Qualitative simulation and validation of complex hybrid systems, ERTS 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291350

T. A. Henzinger, P. Ho, and H. Wong-toi, Hytech: A model checker for hybrid systems, Computer Aided Verification: 9th International Conference, CAV'97, pp.460-463, 1997.

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.
DOI : 10.1145/360248.360252

B. Kuipers, Qualitative simulation, Artificial Intelligence, vol.29, issue.3, pp.289-338, 1986.
DOI : 10.1016/0004-3702(86)90073-1

B. Kuipers and C. Chiu, Taming Intractible Branching in Qualitative Simulation, 1987.
DOI : 10.1016/B978-1-4832-1447-4.50019-5

N. Lynch, R. Segala, and F. Vaandrager, Hybrid i/o automata. Information and computation, pp.105-157, 2003.
DOI : 10.1016/s0890-5401(03)00067-1

URL : https://doi.org/10.1016/s0890-5401(03)00067-1

S. Medimegh, J. Pierron, J. Gallois, and F. Boulanger, A new approach of qualitative simulation for the validation of hybrid systems, GEMOC at MODELS 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01398735

A. Missier and L. Trave-massuyes, Temporal information in qualitative simulation, [1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp.298-305, 1991.
DOI : 10.1109/AIHAS.1991.138487

N. Rapin, C. Gaston, A. Lapitre, and J. Gallois, Behavioural unfolding of formal specifications based on communicating automata, Proc. 1st Workshop on Automated Technology for Verification and Analysis, 2003.

Q. Shen and R. Leitch, Integrating commonsense and qualitative simulation by the use of fuzzy sets, 4th International Workshop on Qualitative Physics, pp.220-232, 1990.