Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings - Beek, Maurice H. ter 1972-; Ničković, Dejan (Springer, 2024)