Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019 | DealShopping Deutschland