Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings - Bonakdarpour, Borzoo (Herausgeber); Smolka, Scott A (Herausgeber) (Programming and Software Engineering, 2014)