h1

h2

h3

h4

h5
h6
% 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{Schnakenbeck:1030470,
      author       = {Schnakenbeck, Aron and Mroß, Robin and Völker, Marcus and
                      Kowalewski, Stefan and Fay, Alexander},
      title        = {{C}omparison between static analysis and model checking in
                      the design of automation systems},
      journal      = {Control engineering practice},
      volume       = {171},
      issn         = {1873-6939},
      address      = {Amsterdam [u.a.]},
      publisher    = {Elsevier Science},
      reportid     = {RWTH-2026-03036},
      pages        = {106813},
      year         = {2026},
      cin          = {122810},
      ddc          = {620},
      cid          = {$I:(DE-82)122810_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001698725900001},
      doi          = {10.1016/j.conengprac.2026.106813},
      url          = {https://publications.rwth-aachen.de/record/1030470},
}