Tran-Jørgensen, P.W.V. (2016) Enhancing System Realisation in Formal Model Development. Aarhus, DK: Aarhus Universitet (Ph.D-afhandlinger). Available at: https://openbooks.kb.dk/au/catalog/book/152 (Accessed: 2 October 2025).