“…Specifically, there are comprehensive cross-platform approaches designed for internetworking, such as OPC-UA [133], but their processing latency is yet a research challenge to be addressed within DT-ITS. Consequently, using these technologies efficiently and dependably is necessary, for which formal network analysis is a research avenue to be followed by DT-ITS in the infrastructure design stage [134].…”