@TechReport{obster2021,
  author      = "Mathias Obster",
  title       = "Unterst{\"u}tzung der SPS-Programmierung durch Statische Analyse w{\"a}hrend der Programmeingabe",
  institution = "RWTH Aachen",
  keywords    = "Statische Analyse, Inkrementelle Analyse, SPS, Quellcode, Automatisierungstechnik, Software Engineering",
  year        = "2021",
  number      = "AIB-2021-01",
  month       = Feb,
  url         = "http://aib.informatik.rwth-aachen.de/2021/2021-01.pdf",
}