Formal Methods FM 2019 international workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers - Sekerinski, Emil 1963- (Springer, 2020)