S. Colin, L. Mariani, M. Broy, B. Jonsson, J. Katoen et al., 18 Run-Time Verification, Lecture Notes in Computer Science, vol.3472, pp.525-555, 2004.
DOI : 10.1007/11498490_24

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

K. Havelund and A. Goldberg, Verify Your Runs, Lecture Notes in Computer Science, vol.15, issue.4, pp.374-383, 2005.
DOI : 10.1007/11494881_14

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2008.
DOI : 10.1016/j.jlap.2008.08.004

O. Sokolsky, K. Havelund, and I. Lee, Introduction to the special section on runtime verification, International Journal on Software Tools for Technology Transfer, vol.32, issue.1, pp.243-247, 2012.
DOI : 10.1007/s10009-011-0218-6