@inproceedings{WeSc24b,
  key         ={WeSc24b},
  author      ={M.C. Werner and K. Schneider},
  title       ={{PLCreX} -- Open-Source Project for Simplification, Transformation, Analysis, and Validation of Programmable Logic Controllers},
  booktitle   ={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  address     ={Kaiserslautern, Germany},
  editor      ={W. Kunz and D. Große},
  publisher   ={VDE},
  series      ={ITG-Fachbericht},
  pages       ={182-185},
  year        ={2024},
  remark      ={rsg},
}