Ezio Bartocci, Yliès Falcone Lectures on Runtime Verification - 1st ed. 2018 - Springer International Publishing 2018 - 10457 - Lecture Notes in Computer Science . ISBN: 978-3-319-75632-5 ISSN: 1611-3349