TY  - RPRT
TI  - DarTwin made precise by SysMLv2 -- An Experiment
AU  - Øystein Haugen
AU  - Stefan Klikovits
AU  - Martin Arthur Andersen
AU  - Jonathan Beaulieu
AU  - Francis Bordeleau
AU  - Joachim Denil
AU  - Joost Mertens
PY  - 2025
DO  - 10.1109/models-c68889.2025.00051
UR  - https://arxiv.org/abs/2510.12478
ID  - 2510.12478
ER  -