Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings - Legay, Axel; Bensalem, Saddek (Springer Berlin Heidelberg : Imprint: Springer, 2013)