Validating component compositions in software system generators | IEEE Conference Publication | IEEE Xplore