Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II - Sekerinski; Astarte, Troy; Campos, José; Farrell, Marie; Guidotti, Riccardo; Luckcuck, Matt; Marmsoler, Diego; Moreira, Nelma; Oliveira, José N.; Ratiu, Daniel (Springer International Publishing, 2020)