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