Diaz, M.Groz, R.2022-03-022022-03-0219930-444-89282-6https://publica.fraunhofer.de/handle/publica/129869Formal description techniques, V