@misc{indiciaef6a840c4b844,
  title = {DarTwin made precise by SysMLv2 -- An Experiment},
  author = {Øystein Haugen and Stefan Klikovits and Martin Arthur Andersen and Jonathan Beaulieu and Francis Bordeleau and Joachim Denil and Joost Mertens},
  year = {2025},
  doi = {10.1109/models-c68889.2025.00051},
  url = {https://arxiv.org/abs/2510.12478},
  note = {Source identifier: 2510.12478}
}