Lectures on Runtime Verification: Introductory and Advanced Topics (Lecture Notes in Computer Science, Band 10457)