@misc{indiciaec1b08cd77879,
  title = {Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems},
  author = {Toni Mancini and Igor Melatti and Enrico Tronci},
  year = {2023},
  doi = {10.1109/tse.2023.3298432},
  url = {https://arxiv.org/abs/2307.15383},
  note = {Source identifier: 2307.15383}
}