Black-box Behavioral Model Inference for Autopilot Software Systems