Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings - Larsen, Kim Guldstrand; Larsen, Kim Guldstrand; Willemse, Tim; Willemse, Tim (Springer International Publishing : Imprint: Springer, 2019)