Francesco Vitale, Francesco Flammini, Mauro Caporuscio, Nicola Mazzocca: Architecting software monitors for control-flow anomaly detection through large language models and conformance checking. Inf. Softw. Technol. 195: 108133 (2026)