Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Finkbeiner, Bernd; Finkbeiner, Bernd; Mariani, Leonardo; Mariani, Leonardo (Springer International Publishing : Imprint: Springer, 2019)