Integration of Runtime Verification into Metamodelling, oriented towards verification of behavioural Domain Specific Modelling Languages

Resaerch cooperation with the ISP at Universität zu Lübeck during my time as a Ph.D. at the Western Norway University of Applied Sciences.