SysML to SLIM transformation methodology