Connecting Separate Real-Time Local Networks over WAN with RTI Connext®