C. Baier and J. P. Katoen, Principles of model checking, 2008.

A. Gunawardana and C. Meek, Universal models of multivariate temporal point processes, Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, pp.556-563, 2016.

C. J. Langmead, Generalized queries and Bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine, Proceedings of The 8th Annual International Conference on Computational Systems Bioinformatics, pp.201-212, 2009.

A. Legay, B. Delahaye, and S. Bensalem, Statistical model checking: An overview, International Conference on Runtime Verification, pp.122-135, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00591593

H. Mao, Y. Chen, M. Jaeger, T. D. Nielsen, K. G. Larsen et al., Learning probabilistic automata for model checking, Quantitative Evaluation of Systems (QEST), pp.111-120, 2011.

V. Rao and Y. W. Teh, Fast MCMC sampling for Markov jump processes and extensions, The Journal of Machine Learning Research, vol.14, issue.1, pp.3295-3320, 2013.

I. Tsamardinos, L. E. Brown, and C. F. Aliferis, The max-min hill-climbing Bayesian network structure learning algorithm, Machine learning, vol.65, issue.1, pp.31-78, 2006.

W. Van-der-aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2014.