Modelling Chess in VDM++. - Morten Haahr Kristensen; Peter Gorm Larsen (CoRR, 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Trøjgård Tang; Stefano Tonetta; et al. (ACSOS-C, 2024)

Digital Twin Tutorial: The Incubator Case Study. - Cláudio Gomes 001; Morten Haahr Kristensen; Mikkel Schmidt Andersen; Prasad Talasila; Hao Feng; Thomas Wright; Peter Gorm Larsen (SETSS, 2024)

Formal Architectural Patterns for Adaptive Robotic Software. - James Baxter 001; Bert Van Acker; Morten Haahr Kristensen; Thomas Wright; Ana Cavalcanti 001; Cláudio Gomes 001 (FASE, 2025)