Formal Methods for Industrial Critical Systems häftadEngelska, 2020