Model-based Simulation and Verification of Aircraft Prognostics and Health Management System | IEEE Conference Publication | IEEE Xplore