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”.

@INPROCEEDINGS{Khn:465535,
      author       = {Kühn, Jan and Schoonbrood, Pierre and Stollenwerk, André
                      and Brendle, Christian and Wardeh, Markus Nabil and Walter,
                      Marian and Roissant, Rolf and Leonhardt, Steffen and
                      Kowalewski, Stefan and Kopp, Rüdger},
      title        = {{S}afety {C}onflict {A}nalysis in {M}edical
                      {C}yber-{P}hysical {S}ystems {U}sing an {SMT}-{S}olver},
      volume       = {1337},
      address      = {Aachen, Germany},
      publisher    = {RWTH Aachen},
      reportid     = {RWTH-2015-01765},
      series       = {CEUR workshop proceedings},
      pages        = {19-23},
      year         = {2015},
      comment      = {SE-WS 2015, software engineering workshops 2015 :
                      gemeinsamer Tagungsband der Workshops der Tagung Software
                      Engineering 2015, Dresden, 17. - 18. März 2015 / hrsg. von
                      Wolg Zimmermann ...},
      booktitle     = {SE-WS 2015, software engineering
                       workshops 2015 : gemeinsamer
                       Tagungsband der Workshops der Tagung
                       Software Engineering 2015, Dresden, 17.
                       - 18. März 2015 / hrsg. von Wolg
                       Zimmermann ...},
      month         = {Mar},
      date          = {2015-03-17},
      organization  = {Software Engineering 2015, Dresden
                       (Germany), 17 Mar 2015 - 18 Mar 2015},
      cin          = {611010 / 122810 / 533000-2 / 120000},
      cid          = {$I:(DE-82)611010_20140620$ / $I:(DE-82)122810_20140620$ /
                      $I:(DE-82)533000-2_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {DFG project 224967929 - Kooperierende Regelung von
                      extrakorporaler Lungenunterstützung und Beatmung für die
                      Therapie des Lungenversagens (ECLA-VENT) (224967929)},
      pid          = {G:(GEPRIS)224967929},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      url          = {https://publications.rwth-aachen.de/record/465535},
}