Design of logic processes for prognostics and health management in an avionics system | IEEE Conference Publication | IEEE Xplore