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