Architecting software monitors for control-flow anomaly detection through large language models and conformance checking