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

D. Bustan, S. Rubin, and M. Vardi, Verifying omega-regular properties of markov chains, CAV'04, 2004.

H. Chang, L. Cooke, M. Hunt, G. Martin, A. Mcnelly et al., Surviving the soc revolution: A guide to platform-based design, 1999.

F. Ciesinski and M. Grober, On Probabilistic Computation Tree Logic, Validation of Stochastic Systems, 2004.
DOI : 10.1007/978-3-540-24611-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6916

A. Gal, W. Schroder-preikschat, and O. Spinczyk, Aspectc++: Language proposal and prototype implementation, OOPSLA'01, 2001.

A. Goyal, Probabilistic modeling of computer system availability, Annals of Operations Research, pp.285-306, 1987.
DOI : 10.1007/BF02187098

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

P. Herber, J. Fellmuth, and S. Glesner, Model checking SystemC designs using timed automata, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08, 2008.
DOI : 10.1145/1450135.1450166
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.4194

H. Hermanns, B. Watcher, and L. Zhang, Probabilistic CEGAR, CAV'08, 2008.
DOI : 10.1007/978-3-540-70545-1_16

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, TACAS'06, 2006.
DOI : 10.1007/11691372_29

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

S. Jha, E. Clarke, C. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, CMSB'09, 2009.
DOI : 10.1016/j.ic.2006.05.002

J. Katoen, E. Hahn, H. Hermanns, D. Jansen, and I. Zapreev, The ins and outs of the probabilistic model checker mrmc, QEST'09, 2009.

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

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, RV'10, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

R. Lipsett, C. Schaefer, and C. Ussery, VHDL: Hardware description and design, 1993.
DOI : 10.1007/978-1-4613-1631-2

M. A. Marsan and M. Gerla, Markov Models for Multiple Bus Multiprocessor Systems, IEEE Transactions on Computer, 1982.
DOI : 10.1109/TC.1982.1675980
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA101127

J. Muppala, G. Ciardo, and K. Trivedi, Stochastic reward nets for reliability prediction, Communications in Reliability, Maintainability and Serviceability, 1994.

J. Rutten, M. Kwiatkowska, G. Norman, and D. Parker, Mathematical techniques for analyzing concurrent and probabilistic systems, CRM Monograph Series, 2004.

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV'05, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.1037

K. S. Trivedi, Probability and statistics with reliability, queueing, and computer science applications, 1982.

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

H. Younes, Ymer: A Statistical Model Checker, CAV'05, 2005.
DOI : 10.1007/11513988_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.9139

H. Younes, M. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. statistical probabilistic model checking, STTT'06, 2006.
DOI : 10.1007/s10009-005-0187-8