Lectures on Runtime Verification