@misc{indiciae3363651c6872,
  title = {Formalizing UML State Machines for Automated Verification -- A Survey},
  author = {Étienne André and Shuang Liu and Yang Liu and Christine Choppy and Jun Sun and Jin Song Dong},
  year = {2024},
  doi = {10.1145/3579821},
  url = {https://arxiv.org/abs/2407.17215},
  note = {Source identifier: 2407.17215}
}