[D-CON] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper)