@misc{indiciae1736334e42df,
  title = {Execution of Partial State Machine Models},
  author = {Mojtaba Bagherzadeh and Nafiseh Kahani and Karim Jahed and Juergen Dingel},
  year = {2021},
  doi = {10.1109/tse.2020.3008850},
  url = {https://arxiv.org/abs/2103.17194},
  note = {Source identifier: 2103.17194}
}