Conformance Monitoring in Air Traffic Control