Howar, FalkBarnat, Jiri2022-03-142022-03-142018https://publica.fraunhofer.de/handle/publica/402320en004Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018conference proceeding