Tran-Jørgensen, P.W.V. (2016) Enhancing System Realisation in Formal Model Development. Aarhus, DK: AU Library Scholarly Publishing Services (Ph.D-afhandlinger). Available at: https://ebooks.au.dk/aul/catalog/book/152 (Accessed: 21 June 2025).