Model-based Systems Engineering for Prognostic and Health Management Design | IEEE Conference Publication | IEEE Xplore