Melzer, SylviaSylviaMelzerGod, RalfRalfGodBahns, TammoTammoBahnsKrause, DieterDieterKrause2020-03-062020-03-062018-11TdSE, EMEASEC (2018)http://hdl.handle.net/11420/5215deVerification of Model-Based Development of Product Families using Object Constraint Language (OCL)Conference PaperOther