@misc{indiciaeed3f45a140ef,
  title = {Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements},
  author = {Zsófia Ádám and Ignacio D Lopez-Miguel and Anastasia Mavridou and Thomas Pressburger and Martin Bes and Enrique Blanco Vinuela and Andreas Katis and Jean-Charles Tournier and Khanh V Trinh and Borja Fernandez Adiego},
  year = {2023},
  url = {https://ntrs.nasa.gov/citations/20230003752},
  note = {Source identifier: 20230003752}
}