Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings - Howar, Falk; Howar, Falk; Barnat, Jiří; Barnat, Jiří (Springer International Publishing : Imprint: Springer, 2018)