Model-Checking Real-Time Properties of an Auto Flight Control System Function | IEEE Conference Publication | IEEE Xplore