Tran-Jørgensen, P.W.V. 2016. Enhancing System Realisation in Formal Model Development. AU Library Scholarly Publishing Services.