Ezio Bartocci, yliès Falcone, Adrian Francalanza, Giles Reger. Introduction to Runtime Verification.
Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5.
⟨10.1007/978-3-319-75632-5_1⟩.
⟨hal-01762297⟩