Tran-Jørgensen, P. W. V. Enhancing System Realisation in Formal Model Development; Ph.D-afhandlinger; AU Library Scholarly Publishing Services: Aarhus, DK, 2016.