Lectures on Runtime Verification - Bartocci (Springer International Publishing, 2018)