ATL Transformation for the Generation of SCA Model | IEEE Conference Publication | IEEE Xplore