Bartocci, E., Falcone, Y., Francalanza, A., & Reger, G. (2018). Introduction to Runtime Verification. In E. Bartocci & Y. Falcone (Eds.), Lectures on Runtime Verification Introductory and Advanced Topics (pp. 1–33). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-75632-5_1