Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / / edited by Borzoo Bonakdarpour, Scott A. Smolka. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-319-11164-3