@misc{indiciae99be77496e4c,
  title = {Early Validation of High-level Requirements on Cyber-Physical Systems},
  author = {Ondřej Vašíček},
  year = {2025},
  doi = {10.4204/eptcs.416.40},
  url = {https://arxiv.org/abs/2502.09236},
  note = {Source identifier: 2502.09236}
}