Tran-Jørgensen, P.W.V. (2016) Enhancing System Realisation in Formal Model Development. Aarhus, DK: Aarhus Universitet (Ph.D-afhandlinger). doi:10.7146/aul.152.125.