From Models to Components: Filling the Gap with SDL Macro-patterns | IEEE Conference Publication | IEEE Xplore