@misc{indiciaea8eb4d9a8e21,
  title = {Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems},
  author = {Roopak Sinha and Cheng Pang and Gerardo Santillán Martínez and Juha Kuronen and Valeriy Vyatkin},
  year = {2021},
  doi = {10.1109/iceccs.2015.32.},
  url = {https://arxiv.org/abs/2108.07400},
  note = {Source identifier: 2108.07400}
}