State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

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)