@TechReport{goebe2019,
  author      = "Florian G{\"{o}}be",
  title       = "Runtime Supervision of PLC Programs Using Discrete-Event Systems",
  institution = "RWTH Aachen",
  keywords    = "Supervisory Control Theory, Discrete-Event Systems, Synthesis, Industrial Automation, Safety Systems",
  year        = "2019",
  number      = "AIB-2019-05",
  month       = nov,
  url         = "http://aib.informatik.rwth-aachen.de/2019/2019-05.pdf",
}