Y. Abarbanel, I. Beer, L. Glushovsky, S. Keidar, and Y. Wolfsthal, FoCs ??? Automatic Generation of Simulation Checkers from Formal Specifications, p.CAV, 2000.
DOI : 10.1007/10722167_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9941

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, p.QEST, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

F. Ciesinski and M. Grober, On Probabilistic Computation Tree Logic, 2004.
DOI : 10.1007/978-3-540-24611-4_5

A. Gal, W. Schroder-preikschat, and O. Spinczyk, AspectC++: Language proposal and prototype implementation, p.OOPSLA, 2001.

T. Grotker, S. Liao, G. Martin, and S. Swan, System Design with SystemC, 2002.

W. Hoeffding, Probability inequalities for sums of bounded random variables, 1963.

J. Katoen, E. Hahn, H. Hermanns, D. Jansen, and I. Zapreev, The Ins and Outs of the probabilistic model checker MRMC, p.QEST, 2009.

M. Kwiatkowska, G. Norman, and D. Parker, Controller dependability analysis by probabilistic model checking, Control Engineering Practice, vol.15, issue.11, 2007.
DOI : 10.1016/j.conengprac.2006.07.003

M. Matsumoto and T. Nishimura, Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator, ACM Transactions on Modeling and Computer Simulation, vol.8, issue.1, 1998.
DOI : 10.1145/272991.272995
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.1141

V. C. Ngo, A. Legay, and J. Quilbeuf, Statistical Model Checking for SystemC Models, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), p.HASE, 2016.
DOI : 10.1109/HASE.2016.24
URL : https://hal.archives-ouvertes.fr/hal-01238162

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, p.CAV, 2004.
DOI : 10.1007/11513988_26

D. Tabakov and M. Vardi, Monitoring temporal SystemC properties, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010.
DOI : 10.1109/MEMCOD.2010.5558640

H. Younes, Verification and planning for stochastic processes with asynchronous events, 2005.

H. Younes, M. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, p.STTT, 2006.
DOI : 10.1007/s10009-005-0187-8

P. Zuliani, A. Platzer, M. Clarke, and E. , Bayesian statistical model checking with application to Simulink/Stateflow verification, p.FMSD, 2013.
DOI : 10.1145/1755952.1755987