Statistical Conformance Checking of Aviation Cyber-Physical Systems by Mining Physics Guided Models