Design of logic processes for prognostics and health management in an avionics system. - Defeng Shen; Shunong Zhang (ISI, 2011)