Did you mean:
+keyword:(formale spezifikation)
Model driven development and code generation: An automotive case study
Instantiating generic charts for Railway Interlocking Systems