J Hu, Y Zhang, X Qin, L Wei, F Chen… - Proceedings of the 15th …, 2024 - dl.acm.org
Tactical Data Link (TDL) is a complex, specialised system that supports the construction of
communication applications. To navigate its complexity, model-based system engineering …