Text this: Formal Integration of ISO/IEC Digital Twin Standards