Case studies for prognostics-enhanced Automated Contingency Management for aircraft systems | IEEE Conference Publication | IEEE Xplore