Ezio Bartocci, Rupak Majumdar Runtime Verification - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319238203 Subjects--Index Terms: Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages