@misc{indiciae060165c65c29,
  title = {Timed Model-Based Mutation Operators for Simulink Models},
  author = {Jian Chen and Manar H. Alalfi and Thomas R. Dean},
  year = {2023},
  url = {https://arxiv.org/abs/2301.00835},
  note = {Source identifier: 2301.00835}
}