H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivan?i?, and A. Gupta, Probabilistic temporal logic falsification of cyber-physical systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.2s, 2013.

A. S. Adimoolam, T. Dang, A. Donzé, J. Kapinski, and X. Jin, Classification and coverage-based falsification for embedded control systems, Computer Aided Verification -29th International Conference, pp.483-503, 2017.

Y. Annapureddy, C. Liu, G. E. Fainekos, S. Sankaranarayanan, and . S-taliro, A Tool for Temporal Logic Falsification for Hybrid Systems, TACAS, pp.254-257, 2011.

E. Asarin, N. Basset, and A. Degorre, Entropy of regular timed languages, Information and Computation, vol.241, pp.142-176, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078613

P. Ballarini, B. Barbot, and M. Duflot, Serge Haddad, and Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, issue.0, pp.53-77, 2015.

B. Barbot, N. Basset, M. Beunardeau, and M. Kwiatkowska, Uniform sampling for timed automata with application to language inclusion measurement, Quantitative Evaluation of Systems -13th International Conference, QEST 2016, pp.175-190, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01371897

B. Barbot, B. Bérard, Y. Duplouy, and S. Haddad, Integrating simulink models into the model checker Cosmos, Application and Theory of Petri Nets and Concurrency, pp.363-373, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01916467

E. Bartocci, J. V. Deshmukh, A. Donzé, and G. E. Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications, Lectures on Runtime Verification -Introductory and Advanced Topics, pp.135-175, 2018.

N. Basset, A maximal entropy stochastic process for a timed automaton, LNCS, vol.7966, issue.2, pp.61-73, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00808909

D. Bohlender, H. Bruintjes, S. Junges, J. Katelaan, V. Nguyen et al., A review of statistical model checking pitfalls on realtime stochastic models, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, volume LNCS 8803, 2014.

S. Brigati, F. Francesconi, P. Malcovati, D. Tonietto, A. Baschirotto et al., Modeling Sigma-Delta modulator non-idealities in simulink(r), IS-CAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI, vol.2, pp.384-387, 1999.

E. M. Clarke, A. Donzé, and A. Legay, On simulation-based probabilistic model checking of mixed-analog circuits, Formal Methods in System Design, vol.36, issue.2, pp.97-113, 2010.

E. M. Clarke and P. Zuliani, Statistical model checking for cyber-physical systems, Automated Technology for Verification and Analysis, 9th International Symposium, pp.1-12, 2011.

T. Dang, A. Donzé, and O. Maler, Verification of analog and mixedsignal circuits using hybrid system techniques, Formal Methods in ComputerAided Design, 5th International Conference, pp.21-36, 2004.

V. Jyotirmoy, X. Deshmukh, J. Jin, O. Kapinski, and . Maler, Stochastic local search for falsification of hybrid systems, Automated Technology for Verification and Analysis -13th International Symposium, ATVA 2015, pp.500-517, 2015.

A. Donzé, Breach, A toolbox for verification and parameter synthesis of hybrid systems, Computer Aided Verification, 22nd International Conference, CAV 2010, pp.167-170, 2010.

A. Donzé and O. Maler, Robust satisfaction of temporal logic over real-valued signals, Formal Modeling and Analysis of Timed Systems -8th International Conference, FORMATS 2010, pp.92-106, 2010.

T. Dreossi, T. Dang, A. Donzé, J. P. Kapinski, X. Jin et al., Efficient guiding strategies for testing of temporal properties of hybrid systems, NASA Formal Methods -7th International Symposium, NFM 2015, pp.127-142, 2015.

J. H. Halton, Algorithm 247: Radical-inverse quasi-random point sequence. Commun, vol.7, pp.701-702, 1964.

E. Hlawka, Discrepancy and Riemann integration, Studies in Pure Mathematics, pp.121-129, 1971.

A. Justel, D. Peña, and R. Zamar, A multivariate kolmogorov-smirnov test of goodness of fit, Statistics & Probability Letters, vol.35, issue.3, pp.251-259, 1997.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of probabilistic real-time systems, Proc. CAV'11, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

J. Liang, K. Fang, F. Hickernell, and R. Li, Testing multivariate uniformity and its applications, Mathematics of Computation, vol.70, issue.233, pp.337-355, 2001.

H. Niederreiter, Random Number Generation and quasi-Monte Carlo Methods, Society for Industrial and Applied Mathematics, 1992.

M. Roberts, The unreasonable effectiveness of quasirandom sequences

M. Rosenblatt, Remarks on a multivariate transformation. The annals of mathematical statistics, vol.23, pp.470-472, 1952.

W. A. Stein, The Sage Development Team, Sage Mathematics Software (Version, vol.6, issue.9, 2015.

E. Thiémard, An algorithm to compute bounds for the star discrepancy, Journal of complexity, vol.17, issue.4, pp.850-880, 2001.

S. Yaghoubi and G. Fainekos, Falsification of temporal logic requirements using gradient based local search in space and time, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, pp.103-108, 2018.