@misc{WeSc24d,
  key         ={WeSc24d},
  author      ={M.C. Werner and K. Schneider},
  title       ={{PLCreX} -- Open-Source Project for Simplification, Transformation, Analysis, and Validation of Programmable Logic Controllers},
  year        ={2024},
  note        ={presentation at MBMV},
  remark      ={rsg},
}
