@article{RecktenwaldSchr{\"o}pfer2013,
  author    = {Recktenwald, Benedikt and Schr{\"o}pfer, David},
  title     = {Formale Beschreibung von Sicherheitsl{\"u}cken},
  journal   = {informatikJournal},
  volume    = {2013/14},
  isbn      = {978-3-00-044321-3},
  url       = {https://www.hs-furtwangen.de/fileadmin/user_upload/fak_IN/Dokumente/Forschung_InformatikJournal/informatikJournal_2013.pdf},
  pages     = {101 -- 111},
  year      = {2013},
  language  = {de}
}