In the development of safety- and security-relevant systems the V-model is established providing verification possibilities at each development stage. Usually, methods and tools of Model-based Systems ...