Schmitz, D.D.SchmitzZhang, M.M.ZhangRose, T.T.RoseJarke, M.M.JarkePolzer, A.A.PolzerPalczynski, J.J.PalczynskiKowalewski, S.S.KowalewskiReke, M.M.Reke2022-03-112022-03-112009https://publica.fraunhofer.de/handle/publica/36224410.1007/978-3-642-02674-4_18en004005006400Mapping requirement models to mathematical models in control system developmentconference paper