Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings - Ganty, Pierre; Ganty, Pierre; Kaâniche, Mohamed; Kaâniche, Mohamed (Springer International Publishing : Imprint: Springer, 2019)