DarTwin made precise by SysMLv2 -- An Experiment

@misc{haugenTue Oct 14 2025 13:12:47 GMT+0000 (Coordinated Universal Time)dartwinmadeprecise,
      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={Tue Oct 14 2025 13:12:47 GMT+0000 (Coordinated Universal Time)},
      eprint={2510.12478},
      archivePrefix={arXiv},
      primaryClass={cs.SE},
      url={https://arxiv.org/abs/2510.12478},
}