PSMBench: A Benchmark and Dataset for Evaluating LLMs Extraction of Protocol State Machines from RFC Specifications - Shen, Zilin; Luo, Xinyu; Karim, Imtiaz; Bertino, Elisa (Advances in Neural Information Processing Systems, 2025)