G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

S. Das, Elements Of Artificial Neural Networks [Book Reviews], IEEE Transactions on Neural Networks, vol.9, issue.1, pp.234-235, 1998.
DOI : 10.1109/TNN.1998.655048

D. Maria, E. Muzy, A. Gaffé, D. Ressouche, A. Grammont et al., Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models, Research Report, vol.8937, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01349019

A. Franzén, Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs, Electronic Notes in Theoretical Computer Science, vol.144, issue.1, pp.19-33, 2006.
DOI : 10.1016/j.entcs.2005.07.017

W. Gerstner and W. Kistler, Spiking Neuron Models: An Introduction, 2002.

G. Hagen and C. Tinelli, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.17-20, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93. Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

N. Halbwachs and P. Raymond, Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing, ASIAN'99, Asian Computing Science Conference, 1999.
DOI : 10.1007/3-540-46674-6_1

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

W. Maass and T. U. Graz, Lower Bounds for the Computational Power of Networks of Spiking Neurons, Neural Computation, vol.202, issue.1, pp.1-40, 1995.
DOI : 10.1090/S0002-9947-1985-0808746-4

A. Maréchal, A. Fouilhé, T. King, D. Monniaux, and M. Périn, Polyhedral Approximation of Multivariate Polynomials Using Handelman???s Theorem, International Conference on Verification, Model Checking, and Abstract Interpretation 2016. Barbara Jobstmann and Rustan Leino, 2016.
DOI : 10.1007/978-3-662-49122-5_8

H. Markram, The Blue Brain Project, Nature Reviews Neuroscience, vol.60, issue.2, pp.153-160, 2006.
DOI : 10.1162/089976698300017502

K. Matsuoka, Mechanisms of frequency and pattern control in the neural rhythm generators, Biological Cybernetics, vol.51, issue.5-6, pp.5-6, 1987.
DOI : 10.1007/BF00319514

W. S. Mcculloch and W. Pitts, A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, pp.115-133, 1943.