Towards Interoperable Digital Twins: Integrating SysML into AAS with Higher-Order Transformations | IEEE Conference Publication | IEEE Xplore