Ezio Bartocci Rupak Majumdar Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings RV Springer 2015 Lecture Notes in Computer Science 9333 978-3-319-23819-7 https://doi.org/10.1007/978-3-319-23820-3 db/conf/rv/rv2015.html