DarTwin made precise by SysMLv2 - An Experiment. - Øystein Haugen; Stefan Klikovits; Martin Arthur Andersen; Jonathan Beaulieu; Francis Bordeleau; Joachim Denil; Joost Mertens (CoRR, 2025)