A Study on SysML and AltaRica Models Transformation | IEEE Conference Publication | IEEE Xplore