Combinatorial Testing for VDM. - Peter Gorm Larsen; Kenneth Lausdahl; Nick Battle (SEFM, 2010)

The overture initiative integrating tools for VDM. - Peter Gorm Larsen; Nick Battle; Miguel Alexandre Ferreira; John S. Fitzgerald; Kenneth Lausdahl; Marcel Verhoef (ACM SIGSOFT Softw. Eng. Notes, 2010)

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. - Kenneth Lausdahl; Peter Gorm Larsen; Nick Battle (ICFEM, 2011)

Towards a Static Check of FMUs in VDM-SL. - Nick Battle; Casper Thule; Cláudio Gomes 001; Hugo Daniel Macedo; Peter Gorm Larsen (FM Workshops (2), 2019)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. - Jonas Kjær Rask; Frederik Palludan Madsen; Nick Battle; Hugo Daniel Macedo; Peter Gorm Larsen (F-IDE@NFM, 2021)

Bidirectional UML Visualisation of VDM Models. - Jonas Lund; Lucas Bjarke Jensen; Nick Battle; Peter Gorm Larsen; Hugo Daniel Macedo (CoRR, 2023)

QuickCheck for VDM. - Nick Battle; Markus Solecki Ellyton (CoRR, 2024)

Verification Technology for VDM: Craft and Automation. - John S. Fitzgerald; Peter Gorm Larsen; Ken Pierce; Leo Freitas; Nick Battle (The Practice of Formal Methods (I), 2024)

Towards Operation Proof Obligation Generation for VDM. - Nick Battle; Peter Gorm Larsen (CoRR, 2025)