Tran-Jørgensen PWV. Enhancing System Realisation in Formal Model Development. Aarhus Universitet; 2016. doi:10.7146/aul.152.125