h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Dehn:1009080,
      author       = {Dehn, Simon Michael and Jacobs, Georg and Höck, Philipp
                      and Höpfner, Gregor},
      title        = {{E}nhancing model-based development with formalized
                      requirements: integrating temporal logic and {S}ys{ML} v2
                      for comprehensive state and transition modeling},
      journal      = {Forschung im Ingenieurwesen},
      volume       = {89},
      number       = {1},
      issn         = {1434-0860},
      address      = {Heidelberg},
      publisher    = {Springer},
      reportid     = {RWTH-2025-03325},
      pages        = {53},
      year         = {2025},
      month         = {Mar},
      date          = {2025-03-11},
      organization  = {Drivetrain and Systems Engineering
                       Conference, Aachen (Germany), 11 Mar
                       2025 - 12 Mar 2025},
      cin          = {411710},
      ddc          = {600},
      cid          = {$I:(DE-82)411710_20190404$},
      pnm          = {OAPKF - Open-Access-Publikation mit Unterstützung der RWTH
                      Aachen University (021000-OAPKF) / BMWK 19I21029D -
                      Verbundprojekt: KIZAM - Künstliche Intelligenz im Ziele-
                      und Anforderungsmanagement; Teilvorhaben: Systematisierung
                      der Anforderungen und der Zusammenhänge (19I21029D)},
      pid          = {G:(DE-82)021000-OAPKF / G:(BMWK)19I21029D},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)8},
      UT           = {WOS:001444720700001},
      doi          = {10.1007/s10010-025-00806-1},
      url          = {https://publications.rwth-aachen.de/record/1009080},
}