Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings - ter Beek; Ničković, Dejan (Springer International Publishing, 2020)