Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification. - Quang-Duy Nguyen; Darine Rammal; Christophe Gaston; Deepak V. Katkoria; Arnault Lapitre; Saadia Dhouib (ETFA, 2025)