@misc{indiciae0370b9165ad8,
  title = {K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs},
  author = {Kun Wang and Jingyi Wang and Christopher M. Poskitt and Xiangxiang Chen and Jun Sun and Peng Cheng},
  year = {2023},
  doi = {10.1109/tse.2023.3315292},
  url = {https://arxiv.org/abs/2202.04076},
  note = {Source identifier: 2202.04076}
}