Verification of Model-Based Development of Product Families using Object Constraint Language (OCL) Melzer, Sylvia God, Ralf Bahns, Tammo Krause, Dieter 2018 - TUHH Open Research