1
Runtime Verification [E-Book] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /