Lectures on Runtime Verification - Ezio Bartocci, Yliès Falcone (Springer, 2018)