Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench - Raptis, George E.; Taimoor Khan, Muhammad; Koulamas, Christos; Serpanos, Dimitrios (IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society, IEEE Industrial Electronics Society, IECON 2025 – 51st Annual Conference of the, 2025)