Tran-Jørgensen PWV. Enhancing System Realisation in Formal Model Development [Internet]. Aarhus, DK: Aarhus Universitet; 2016 [cited 2025 Oct. 2]. (Ph.D-afhandlinger). Available from: https://openbooks.kb.dk/au/catalog/book/152