Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - Bartocci, Ezio; Majumdar, Rupak (Springer International Publishing : Imprint: Springer, 2015)