Integrating model checking into a live modeling environment
			Source
					
			18th International Conference on Software Language, Engineering-SLE-Annual, JUN 12-13, 2025, Koblenz, Germany- (2025) p. 128-133
					
Model-driven engineering for digital twins : opportunities and challenges
			Source
					
			Systems engineering - ISSN 1098-1241-28:5 (2025) p. 659-670
					
A multi-paradigm modelling foundation for twinning within the context of systems engineering
			Source
					
			Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xxviii, 171 p.
					
Operation-based versioning as a foundation for live executable models
			Source
					
			Software and systems modeling - ISSN 1619-1366-24:3 (2025) p. 721-739
					
SCCD debugger : a debugger for statecharts and class diagrams
			Source
					
			ACM/IEEE 27th International Conference on Model Driven Engineering, Languages and Systems: Companion Proceedings (MODELS), SEP 22-27, 2024, Linz, Austria- (2024) p. 61-65