@misc{indiciae962aad35e2f2,
  title = {A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation},
  author = {Aron Schnakenbeck and Robin Mroß and Marcus Völker and Stefan Kowalewski and Alexander Fay},
  year = {2023},
  doi = {10.1109/indin51400.2023.10218176},
  url = {https://arxiv.org/abs/2306.04584},
  note = {Source identifier: 2306.04584}
}