Combining VDM with Executable Code. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (ABZ, 2012)

Extending VDM-RT to enable the formal modelling of System of Systems. - Claus Ballegaard Nielsen; Peter Gorm Larsen (SoSE, 2012)

Understanding patterns for system of systems integration. - Rick Kazman; Klaus Schmid; Claus Ballegaard Nielsen; John Klein (SoSE, 2013)

Modelling Energy Consumption in Embedded Systems with VDM-RT. - José Antonio Esparza Isasa; Peter Würtz Vinther Jørgensen; Claus Ballegård Nielsen; Stefan Hallerstede (ABZ, 2014)

Collaborative formal modeling of System of Systems. - Claus Ballegaard Nielsen; Peter Gorm Larsen (SysCon, 2014)

Distributed Simulation of Formal Models in System of Systems Engineering. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (WETICE, 2014)

Active learning via LEGO MINDSTORMS in Systems Engineering education. - Claus Ballegaard Nielsen; Paul Adams (ISSE, 2015)

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. - Claus Ballegaard Nielsen; Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Jan Peleska 001 (ACM Comput. Surv., 2015)

Applying the VDM formalism across systems engineering lifecycles. - Claus Ballegaard Nielsen (SysCon, 2017)