Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings - Colombo, Christian; Colombo, Christian; Leucker, Martin; Leucker, Martin (Springer International Publishing : Imprint: Springer, 2018)