Lectures on Runtime Verification Introductory and Advanced Topics - Bartocci, Ezio; Bartocci, Ezio; Falcone, Yliès; Falcone, Yliès (Springer International Publishing : Imprint: Springer, 2018)